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.