Leider ist neulich die Festplatte unseres Servers vollgelaufen und einige Dienste waren nicht mehr nutzbar. Daher habe ich gerade den Server geupgraded. Der Plattenplatz sollte nun also wieder eine Weile reichen.
Leider gab es daher eine kurze, nicht angekündigte Downtime. Ich entschuldige mich, falls jemand deswegen Unannehmlichkeiten hatte.
Auf der anderen Seite haben wir nun wieder Kapazitäten für weitere Dienste. Falls also jemand Ideen hat: immer her damit!