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