Found it.
Apparently, our IT department installed firewall client that limited the sockets to 200 per person. Increasing this to 2000 solved the problem.
Conclusion: if applications run out of sockets, don't only check the Windows configuration, but also check locally installed firewall client software.