No, a repair didn’t help. After that, the virus database was claimed to be checked for updates, but stating that it is outdated. A manual update didn’t change that. Windows didn’t accept that status. I finally deinstalled and reinstalled the complete program from scratch. That solved the problem.