Translation of "Benummerung" in English