"Dedekindsche Funktion" Englisch