Hendrik,

Did you get this problem solved?

I have the same problem as you, and it only happens to servers that Have many users and no IIS or websphere.