Cluster being rebooted

Dear customers, the cluster is being rebooted after a power failure. The broken switch has been replaced and the servers will be up again at aproximately 22:00. Hopefully things will gradually return to normal now.