Index: /tools/gformat.py
===================================================================
--- /tools/gformat.py	(revision 13939)
+++ /tools/gformat.py	(revision 13940)
@@ -1671,5 +1671,5 @@
 
   if external:
-    dns_masters = ['siteview.wirelessleiden.nl', 'ns1.vanderzwet.net']
+    dns_masters = ['ns1.vanderzwet.net', 'ns1.transip.net', 'ns2.transip.eu']
   else:
     dns_masters = ['druif.wleiden.net'] + ["%s.wleiden.net" % x[1] for x in get_nameservers(max_servers=3)]