Hmm...
It seems to be a problem with the time synchronization between the various systems on my network.
I restarted the w32time service on the server which was not visible, and now it works again.
This does not feel good, but for now the problem is solved.
Regards,
Bart