Der Debian-Mirror “mirror.vr.in-berlin.de” wird jetzt auf neue Hardware aktualisiert und steht daher kurzzeitig nicht zur Verfügung. Der Umbau sollte in 30 Minuten erledigt sein.

Update: Das Update war erfolgreich und ist so gut wie abgeschlossen.