Ach ja, und der Patcher ist wirklich Banane - bei manchen scheint es zu funktionieren mit den korrekten Einstellungen - bei anderen nicht. Ich habe um 23 Uhr gestartet und um 3:30 Uhr war der auf 90 % stehengeblieben - habe es dann weiterlaufen lassen während eines Nickerchens und er war offenbar erst so zwischen 9-10 Uhr fertiggeworden. Das ist eigentlich kein Zustand mit dem man sich zufrieden geben sollte, aber man versucht es ja dennoch noch gelassen zu sehen - gibt ja schliesslich auch noch wichtigere Dinge im Leben.

( Das soll nicht heissen, das das nicht verbessert werden sollte ).
...