Nachtrag: die Virendatei auf dem Computer meiner Freundin hat die Versionsnummer 111122-0, scheint also heute noch nicht aktualisiert zu haben…