Bisherige Ergebnisse über Zentralisatoren umgeschrieben.
Doppelzentralisator als Abschlussoperator.