Definition und Charakterisierung halbeinfacher Moduln hinzugefügt.