Hi Frank,

We never really found the cause of the problem, but it's solved by rebuilding the Windows profile on the workstations.
After that it all worked again.