Tits compilation / Seite 35