You may also resolve directly at: https://dns.google/resolve?name=mailman._domainkey.lists.nlnetlabs.nl&type=TXT