Hallo,
@jaenicke
Dein Vorschlag führte zur erfolgreichen Installation des Patches.
Es reichte, nur die fraglichen slip-Dateien zu entfernen und nachher wieder zurück zu kopieren.
Danke für den Tipp. Auch Danke an allen andern für ihre Vorschläge.
Den Viren-Scanner (hier F-Secure) hatte ich auch erst im Verdacht. Er war es aber nicht.
Mfg
Georg