Das Problem hat sich - auf unklahre Weise - selbst gelöst. Gestern Nacht wurden ~400 MB Updates eingespielt. Jetzt konnte ich die Datei tatsächlich löschen. Olaf -- Meine Rechtschreibfehler stehen unter der Creative Commons Lizenz. (Bearbeitungen und Weitergabe unter gleichen Bedingungen): http://creativecommons.org/licenses/by-sa/2.0/de/