Hmmm, het lijkt er op dat de DNS van NXS uit de lucht is. Minder prettig.

Update: nope, het was m’n eigen DNS. Blijkbaar zaten een aantal andere hosts (bijv. google.com) nog in de cache.