"Dedekindsche Menge" Englisch