In den nächsten Tagen erhalten unsere Webserver ein Betriebssystem-Update auf Debian 12 (bislang Debian 11). In diesem Zusammenhang kann es wegen erforderlicher Reboots zu kurzen Nicht-Erreichbarkeiten kommen. Wir danken für Ihr Verständnis.
Update 28.10.2023: die Updates wurden auf allen Servern durchgeführt, die Arbeiten sind abgeschlossen
