Dedekind_eta-function loading ...