https://www.dict.cc/english-german/deletion+in+a+document.html