Translation of "Endmaßsatz" in English