Due to failures in one of our proxy servers and in our monitoring, there was a partial outage on a limited number of hosting packages. As a result, some websites may not have been available over HTTPS. This issue started around 7 CEST, and all systems were restored around 9:00 CEST.