Tits compilation / Seite 34