Resolved | Nov 25, 2019 | 14:52 GMT+01:00

The affected webserver has been restarted and is now up and running again.

Open | Nov 25, 2019 | 14:46 GMT+01:00

Today 2:45pm (CET), one of our webservers is experiencing a downtime, as the server froze. This is happening more frequently for the last months and we are in contact with our webhoster, as well as looking for more reliable options.
We are currently restarting the server and check that everything is back to normal soon.

We understand that unscheduled downtime is, at the very least, inconvenient, and we're sorry this has happened. Our quest to find an even more reliable hosting provider is ongoing.