Argh!!! Nachdem ich nach 6 Stunden aufgehört hatte, Miktex für Windows runterzuladen (weils bis dahin gerade mal zur Hälfte fertig war), lad ich gerade praktisch den selben Mist nochmal für Linux runter, was zwar schneller geht, aber auch ewig dauert. Warum bin ich nur auf den glorreichen Gedanken gekommen, die TeX-Bibliotheken unbedingt mal zu aktualisieren??? Argh!!!