Leider ist heute das gleiche Problem mit den virtuellen Servern wie gestern erneut aufgetreten. Wir haben uns daher entschieden, die Server auf einen anderen Virtualisierer mit anderer Kernelversion zu migrieren. Dafür müssen die Server leider erneut neu gestartet werden. Wir bitten die Unannehmlichkeiten zu entschuldigen. Die Ausfallzeit der einzelnen Server sollte im Minutenbereich liegen.