Server move on July 13th
Due to a move of the web server there will be disruptions for some of the services on the web site.
The move will start on 9:30 CET on July 13th, and finish a couple of hours later.
Sorry for the inconvenience.
Edit: The move is now finished. Please send an email to email@example.com if you notice anything that is not working properly.