Maintenance

Because of some minor problems, our downtime went up to 30 seconds. We hope this did not raise any major issues.

We initially scheduled only 2-3 seconds downtime.

Restart complete.

We are currently aware of an issue with MediaFire links being broken. We are working on this issue but we cannot guess how long this will take.