Translation of "Hauptdehnung" in English