Translation of "Kurzbenennung" in English