It's possible that the DNS info for the host hasn't made it
to your local network. I suppose a number of things could
cause this.
Anyway, there is such a host. I verified the link just before I send
that mail out, and here I verify the DNS info:
hal.com:\[26] nslookup www.research.digital.com
Server: hal.com
Address: 192.88.244.33
Non-authoritative answer:
Name: server3.pa.dec.com
Address: 16.1.0.34
Aliases: www.research.digital.com
Dan