At https://wiki.debian.org/DebianDotNet you can find how to setup DNS for academy.debian.net. HTH, Bye, Joost