Due to this nights scheduled maintenance job performance of certain services are degraded. We will restore the usual performance as soon as possible.
Update 10:33: Since a few hours everything seems to be fine again.
