Maintenance announcement Jan. 31, 2017, 9:10 a.m. by jabber.rwth-aachen.de

Friday morning (Feb 3rd, 2017), around 8 AM the server will be unavailable for a short period of time due to maintenance work.

Language