System outage this morning

Due to cooling problems we had a system outage today. It is mostly solved, but some services might still be affected.

---