Translation of "Nachbenennung" in English