"Klassifikationssatz endlicher Gruppen" Englisch