Due to unforseen issues with the hardware yesterday the maintenance will continue today.
So more short downtimes of the services are to be expected.
Sorry for the inconvenience.
19-10-2018: maintenance is over since yesterday evening.
Thank you for your patience.