"Dedekind section" Deutsche bedeutung