-server merikanto.debian.org iburst
-server orff.debian.org iburst
-server ravel.debian.org iburst
-server busoni.debian.org iburst
+
+# czerny's, and bm-bl2's ipv4 IP, hard coded for the benefit of
+# hosts that do not have RTC's (since they won't be able to do DNS until
+# they have a reasonable clock).
+server 82.195.75.109 iburst
+server 5.153.231.242 iburst
+
+server czerny.debian.org iburst
+server clementi.debian.org iburst
+server bm-bl1.debian.org iburst
+server bm-bl2.debian.org iburst