Dedekind, Euricius