@sleppless: Du musst dir schon allein deshalb keine Sorgen über HoTT machen:
Ich verabschiede mich jetzt auch von diesem Forum da ich wieder FaSST fliege.