Website downtime

After a cooling outage in our IT center, our website was unavailable from Sunday noon until Tuesday morning (CET). As you can see, it is working again. There might be a few more short hiccups as many servers at our uni were affected and the IT center is still fixing some systems, but in principle we should be back. Sorry for the inconvenience.