server 5.153.231.242 iburst
server manda-node03.debian.org iburst
-server clementi.debian.org iburst
+server manda-node04.debian.org iburst
server bm-bl1.debian.org iburst
server bm-bl2.debian.org iburst
<% else -%>
server manda-node03.debian.org iburst autokey
-server clementi.debian.org iburst autokey
+server manda-node04.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 manda-node04.debian.org notrust nomodify notrap ntpport
restrict bm-bl1.debian.org notrust nomodify notrap ntpport
restrict bm-bl2.debian.org notrust nomodify notrap ntpport
<% end -%>