Server Maintenance on Friday Jun 30, 2017

A server maintenance window is  scheduled for Fri Jun 30, 2017. From 1pm CEST on the access to apps might be either interrupted without prior notice or impossible at all. Thank you very much for your understanding.