The server had a problem, which had started at the Monday morning reboot. A reboot of the machine solved the problem. Soon all data will be moved to a new server. This will not cause much problems for users, because everybody uses the aliases something-srv.science.ru.nl.