-server czerny.debian.org iburst autokey
-server clementi.debian.org iburst autokey
-server bm-bl1.debian.org iburst autokey
-server bm-bl2.debian.org iburst autokey
-server dijkstra.debian.org iburst autokey
-server luchesi.debian.org iburst autokey
-restrict czerny.debian.org notrust nomodify notrap ntpport
-restrict clementi.debian.org notrust nomodify notrap ntpport
-restrict bm-bl1.debian.org notrust nomodify notrap ntpport
-restrict bm-bl2.debian.org notrust nomodify notrap ntpport
-restrict dijkstra.debian.org notrust nomodify notrap ntpport
-restrict luchesi.debian.org notrust nomodify notrap ntpport
+server manda-node03.debian.org iburst autokey
+server clementi.debian.org iburst autokey
+server bm-bl1.debian.org iburst autokey
+server bm-bl2.debian.org iburst autokey
+restrict manda-node03.debian.org notrust nomodify notrap ntpport
+restrict clementi.debian.org notrust nomodify notrap ntpport
+restrict bm-bl1.debian.org notrust nomodify notrap ntpport
+restrict bm-bl2.debian.org notrust nomodify notrap ntpport