Translation of "Vorbenannt" in English