GMX-Problem gefunden und behoben
Das in der vorigen Meldung beschriebene Problem mit GMX-Adressen ist gelöst. Offenbar handelte es sich um einen Fehler beim Upgrade der Server-Software, durch den unbemerkt eine Konfigurationseinstellung überschrieben wurde.