Derzeit ist der Shellserver “kudu” wegen eines Problems beim Umzug auf unsere neue Virtualisierungsplattform nicht erreichbar. Wir bemühen uns den Fehler schnellstmöglich zu beheben.

Update 23:30 Uhr: Der Fehler auf dem Shellserver ist behoben.