As the security issue is categorized as critical we have decided to update the servers immediately. So please excuse the announcement at short notice.

Update: the update was successful and all servers are running again.