Danke für die Rückmeldung. Das DNS Problem dürfte behoben sein – siehe meine Anmerkung im Blogeintrag.