On the 8th of June 2017 between 8:25 and 8:55 CET our services where unexpectedly down because of a hardware issue with our load-balancer.
The issue has been corrected and services are back up. We're sorry for the inconvenience.