Treue Moduln über halbeinfachen Ringen hinzugefügt.