Fiddling resolved the problem. Chris Sometimes it works, Sometimes it does not. Windows is like that.
We use NOD32 on a network. It has been installed on all client machines issuing a command on the command line - never any problems, till now....
Separate names with a comma.