Due to an issue with our DNS-servers not all services are available to all visitors at this moment. This lasted from around 17:57 until 18:21 CET
DNS connectivity is restored. This was a configuration error on our side as we are finalizing the improvements to our network, sorry for the inconvenience.