"Dedekindsche Summe" Englisch