am Dienstag, den 31.7.2012, ist ein Neustart der Server notwendig, um ein Update des System-Kerns nachzuladen. Die Neustarts werden in der Zeit von 5.00 Uhr bis 8.00 Uhr durchgeführt. Der Zeitraum, in dem jeder einzelne Server nicht erreichbar ist, liegt dabei im Regelfall bei unter 5 Minuten.