Tits compilation / Seite 46