The server software was updated a few minutes ago. Everyting worked as expected and the server was back up after 5 minutes. If anyone experiences problems please report them here. You can leave anonymous comments but you will need to fill in a CAPTCHA then.