c_otto83 on Nostr: Any DNS guru out there? The mirror server ftp.halifax.rwth-aachen.de appears to have ...

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
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1021002