There just was a DDOS attack on server 37, this was the reason for the HTTP on this server to be unavailable for 30 minutes. The situtation is now under control. We will be monitoring this server more closely, we apologize for any inconvenience.