classnormalizer:=function(ccK,ccH)  # H is the larger one
  local H,K,ccHl;
  ccHl:=AsList(ccH);
  K:=Representative(ccK);
  for H in ccHl do
    if IsSubgroup(H,K) then
#      Print("H K:",H,K);
      return FactorGroup(Normalizer(H,K),K);
    fi;
  od;
  Print("classnormalizer failed\n");
  return false;
  end;