One of our servers is currently experiencing technical difficulties. As a result some services won't be reachable.
Update 21:35 CEST: the server is back online, but other issues have been identified which are preventing normal operation of certain services.
Update 23:18 CEST: all services have been restored.
Thank you for your patience and understanding.