Es gibt aktuell Probleme mit einem unserer Virtualisierer, auf dem sich unter anderem die virtuellen Maschinen für Shell und Web befinden. Wir sind dabei, das Problem so bald wie möglich zu lösen.

Update 22:05 Uhr: Die virtuellen Maschinen sind wieder online. Wir haben die Ursache für den Ausfall eingekreist.