Ganz einfach.
Eine zweite Windows-Installation (am besten auf einer anderen Festplatte) vornehmen. Wenn Du die neue Version startest, lässt sich danach die Virusdatei problemlos aus dem Windows-Verzeichnis der ersten Installation löschen.
Ich frage mich immer, warum diese einfachste Lösung in keiner Fachzeitschrift drinnen steht
Oder soll ich mir das patentieren lassen ?
