"Isomorphiesatz" Englisch