@vanD: ja, die Seite hatte ich auch schon gefunden, nur konnte ich mir auf Anhieb nicht die zip-Datei runterladen. Habe sie aber jetzt.
Da es eigentlich nicht mein Rechner ist, der betroffen ist (und ich habe es nur der Einfachheit halber gesagt), kann ich es gerade nicht ausprobieren. Ich sage aber Bescheid, ob es geklappt hat.