"Dedekind theorem" Deutsche bedeutung