You may also resolve directly at: https://dns.google/resolve?name=gitlab.cs.uni-duesseldorf.de&type=A