Dedekind–Hasse_norm loading ...