server 86.59.118.147 iburst
server 194.177.211.209 iburst
+server czerny.debian.org iburst
server merikanto.debian.org iburst
server orff.debian.org iburst
server ravel.debian.org iburst
server busoni.debian.org iburst
<% else -%>
+server czerny.debian.org iburst autokey
server merikanto.debian.org iburst autokey
server orff.debian.org iburst autokey
server ravel.debian.org iburst autokey
server busoni.debian.org iburst autokey
+restrict czerny.debian.org notrust nomodify notrap ntpport
restrict merikanto.debian.org notrust nomodify notrap ntpport
restrict orff.debian.org notrust nomodify notrap ntpport
restrict ravel.debian.org notrust nomodify notrap ntpport