Das ist regional unterschiedlich - bei mir war die Domain zwischen 20:00 h und 20:30 h tot.
Ich hab die Board-Domains unter eigene Verwaltung genommen, kann also die DNS-Einträge jetzt selbst ändern, allerdings lief die Umstellung 1:1, also mit den alten Daten. Scheinbar muss das aber trotzdem erstmal quer über alle DNS-Server laufen. Naja sei's drum, es ist ja nur von kurzer Dauer.