You may also resolve directly at: https://dns.google/resolve?name=menadoc.bibliothek.uni-halle.de&type=A