It turned out that the DNS provider was carrying out maintenance work, which probably led to the temporary outage.

It looks like there was a problem with the DNS server. We are still investigating whether the problem was with us or with the DNS provider.

The service seems to be available again. We are still trying to find a reason for this.

Our service was unavailable for a while. We are trying to find out why.