Friedrich_Dedekind loading ...