Kann natürlich sein, daß der ISP inkompetent genug ist, tote DNS-Server weiterhin zuzuweisen. Wäre nicht das erste Mal...

Man könnte natürlich bekannte gute Server des ISPs nachschlagen und die von Hand eintragen; alternativ könnte man auch die vom ORSN verwenden, die sollten an sich statisch sein.