Servicedesk ticket system maintenance 19.5 at 9 am

During this time, ICT services can be reached by phone or chat.
Janitors can be reached by phone.

Update:

Maintenance finished at 2.20 pm