Ja, die DNS-Server unseres Providers liegen lahm. Das Problem liegt also somit leider ausserhalb unseres Einflussbereiches, und wir können nur hoffen, dass die dortigen Techniker das Problem bald in den Griff bekommen.