en:dns

DNS or the Domain Name System translates easy to remember hostnames like google.com into IP addresses, like 142.250.186.78.

The HRZ provides DNS servers for the dormitories. It is possible to use a third party DNS server. Different DNS servers have differing pros and cons, aswell as different priorities.

HRZ-DNS

DNS-Server Description Logging
130.83.22.60 HRZ (Primary) Unknown
130.83.22.63 HRZ (Secondary) Unknown
130.83.56.60 HRZ (Tertiary) Unknown

Third party DNS

DNS-Server Desciption Logging
1.1.1.1 Cloudflare (USA, Anycast, Primary) Some
1.0.0.1 Cloudflare (USA, Anycast, Secondary) Some
8.8.8.8 Google Public DNS (Anycast, Primary) Yes
8.8.4.4 Google Public DNS (Anycast, Secondary) Yes
94.140.14.140 AdGuard unfiltered (Anycast, Primary) Some
94.140.14.141 AdGuard unfiltered (Anycast, Secondary) Some
9.9.9.9 Quad9 (Anycast, Primary) Some
149.112.112.112 Quad9 (Anycast, Secondary) Some
91.239.100.100 UncensoredDNS (Anycast, Primary) No
89.233.43.71 UncensoredDNS (Unicast, Denmark, Secondary) No