At night a hard disk of the server has said goodbye. It took me some time to assess the problem and to restore backups. I used this opportunity to refresh my server-administration knowledge. Now everything should work as usual. And if not, just let me know.