Wartungsarbeiten abgeschlossen

Alle Server sind umgezogen und aktualisiert, somit sollte alles im CIP wieder funktionieren wie gewohnt. Sollten dennoch Probleme auftreten, schreibt uns eine Mail an problems@cip.cs.fau.de.

-- Lukas Braun