For unknown reasons one of the servers had a high load and stopped servicing users. A reboot solved the problem.