Ok, Danke, lohnt es sich, das drauf zu machen? Was ist der Unterschied zum ROM vom 15.11.? Unter der URL oben steht, dass die Laufzeit wohl verbessert wurde... ist das signifikant? Hab schon so viel Zeugs drauf, dass ich eigentlich keine Lust habe, jetzt wieder von vorne anfangen zu müssen :-(...