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.