Hello,some more information: it appears that the issue is sometimes accompanied by screen disturbances, i.e. the screen appears scrambled and multiple times on the monitor (but not always), in which case I can only reboot the PC to get rid of the problem.
Eric