Dokument lokal gelöscht, History hier und dort gelöscht, von lokal und zwischen den Servern repliziert, keine Fehlermeldungen, das Problem scheint gelöst zu sein.
Nochmals vielen Dank!
Nur so, am Rande, ich hab Dich nicht ganz verstanden:
Was hätte schlimmer sein können?
Gruß
Leo