FINITELY GENERATED MODULES OVER A DYAD OF TWO LOCAL DEDEKIND RINGS, AND FINITE GROUPS WITH AN ABELIAN NORMAL DIVISOR OF INDEX p.