Die Probleme mit der www.irdis.de Domain scheinen behoben zu sein. Keine Ahnung, woran das lag.