maintainance work today from 10pm

Today, 2016-07-04 from 10pm we need to perform maintainance work on the computer pool. All client computers will need to be restarted. We do not expect the maintenance to last longer than 30 minutes.

-- Sebastian Hahn