Translation of "Leitender regierungsdirektor" in English