Translation of "Obersatz" in English