Hi, Thanks for the quick reply.

In the meanwhile I have downloaded another antivirus and the job seems to be done. ‘Command on demand’ did not find any viruses anymore on my computer. I continue to use avast! anyway.

Thank you,
Stephan