Umzug von Mailinglisten
Wir ziehen zur Zeit Mailinglisten von Teilnehmern auf einen anderen Server um. Die zu den Listen gehörenden Webseiten sind während der Dauer des Umzuges nicht erreichbar, Anfragen an diese Seiten werden zu dieser Meldung umgeleitet. Mails für die Listen werden weiterhin verteilt, eventuell mit Verzögerung. Die Listenbetreiber haben dazu eine ausführliche Mail bekommen. Wir bemühen uns, die Ausfallzeit möglichst kurz zu halten.
Update 18:52 Uhr: Die Mailinglisten arbeiten wieder. Die HTML-Archive der Mailinglisten werden im Hintergrund neu generiert, das wird einige Zeit dauern. Wenn noch jemand von einer Mailinglisten-URL hierher umgeleitet wird, liegt das möglicherweise daran, dass sich die Änderung der IP-Adresse noch nicht weltweit im DNS herumgesprochen hat, oder die Umleitung noch im Cache des Browsers oder eines Proxys steht.
Update 22:00 Uhr: HTML der Listenarchive ist generiert.
Update 22:55 Uhr: Der Umzug weiterer Mailinglisten hat begonnen.
Update 23:12 Uhr: Mailinglisten arbeiten wieder normal, HTML der Listenarchive wird generiert.
Update 23:33 Uhr: HTML der Listenarchive ist generiert, der Umzug damit abgeschlossen.