Kommutative_HalbgruppeInhalt nicht gefunden