Translation of "Summensätze" in English