Ach sorry, mein Fehler. Ich habe völlig übersehen, dass in dem Archiv nur die geänderten Dateien enthalten waren. Deshalb ging es nicht. Ich habe jetzt dieses Dateien über eine ältere Version drüberkopiert, und siehe da: Es funktioniert
Cool!
Glückwunsch, du hast den Fehler wohl doch behoben!