Translation of "Stornosatz" in English