Translation of "Deemed omitted" in German