Translation of "Namentliche benennung" in English