Also: ich habe es aufgegeben, herauszufinden, WAS und WARUM es kaputt ist: "Aktionen - Ordner - Ordnergestaltung Aktualisieren" behebt den Fehler ebenfalls.
Wir werden das durchführen, dann die lokale Replik neu erstellen und einfach abwarten, ob das Problem wieder kommt. hatten ja jetzt 6 Monate Ruhe...
