Translation of "Vollstaendiger satz" in English