Wenn nichts aussergewöhnliches dazwischenkommt, werde ich in allernächster Zeit (spätestens Mittwoch nacht) mal den Server updaten. Die allgemeine Urlaubszeit und das gute Wetter sollten ein paar Stunden Auszeit derzeit verschmerzbar machen. Ganz ohne wird es diesmal kaum abgehen, weil nicht
