[Santuzzo]

Danke für den Link.
Ja, habe schon mehrere Updates gemacht.
Aber wie gesagt, AVG Support hat die Datei überprüft, und sie sagen, dass die Datei infiziert ist.

Update: auch nach mehrmaligem Einschicken blieb die Antwort von AVG dieselbe, es sei ein Virus. Habe im AVG free Forum einen Beitrag geöffnet, und dort sagte man mir auch, ich solle die Datei einsenden.
Habe in der Zwischenzeit immer wieder die Virendatenbank nach Updates überprüft und diese gegebenenfalles geladen und die Datei wieder überprüft, stets mit demselben Ergebnis, es sei ein Virus.

Bis ich gerade eben einen neue Aktualisierung der Virendatenbank geladen habe, und die Datei gescannt habe, voila, diesaml keine Infektion. Problem gelöst, es war also in der Tat ein False Positive.
Und ich hbae gelernt, dass selbst wenn AVG zunächst nach Einsenden der verdächtigen Datei darauf besteht, es sei ein Virus, dass es sich selbst dann noch um einen False Positive handeln kann.