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