Index: /tools/gformat.py
===================================================================
--- /tools/gformat.py	(revision 10985)
+++ /tools/gformat.py	(revision 10986)
@@ -1293,4 +1293,13 @@
       else:
         wleiden_cname[k] = item
+
+  # Hack to get dynamic pool listing
+  def chunks(l, n):
+      return [l[i:i+n] for i in range(0, len(l), n)]
+
+  ntp_servers = [x[0] for x in get_nameservers()]
+  for id, chunk in enumerate(chunks(ntp_servers,(len(ntp_servers)/4))):
+    for ntp_server in chunk:
+      wleiden_zone['%i.pool.ntp' % id].append((ntp_server, False))
 
   details = dict()