It seems that services are online again. We are monitoring the results.
Posted Oct 25, 2023 - 14:26 CEST
Investigating
Apparently there is a outage at our DNS provider. All redundant systems seem to be unavailable. We are currently trying to get in touch to get that issue solved as quickly as possible.