You may also resolve directly at: https://dns.google/resolve?name=ans1.net.hrz.tu-darmstadt.de&type=A