Hey,

we are having a downtime of about half an hour today beginning at 1400 CEST.

The reason for that is a hardware update of our primary server. Nearly all services will be affected.

Michael

EDIT: Everything is up and running again. Thank you for being patient.