Translation of "Direktionsleiter" in English