Any DNS guru out there? The mirror server ftp.halifax.rwth-aachen.de appears to have some DNS issues according to Debian's mirror report checks, but I can't see what's wrong.
https://mirror-master.debian.org/status/mirror-info/ftp.halifax.rwth-aachen.de.html
