Translation of "Pretermitted" in German