Translation of "Schachtelsatz" in English