URGENT: ns.internic.net blown

Update: the primary was just fixed. As soon as the secondaries catch on,
please restart your nameservers.

Thanks!

Geert Jan