DNS issues with tools.ietf.org

Wed Apr 4 20:34:55 UTC 2012

On Wed, Apr 04, 2012 at 10:26:11PM +0200,
 Marco Davids (Prive) <mdavids at forfun.net> wrote 
 a message of 8 lines which said:

> Something seems wrong with the DNS of 'tools.ietf.org'.

Can you be more specific? It works for me except that one name server
does not actually exist (but it does not prevent the domain from
working).

% zonecheck tools.ietf.org
ERROR: Unable to find nameserver IP address(es) for grenache.levkowetz.com

(NXDOMAIN, indeed)