Formulierung des double centralizer theorems hinzugefügt.