I have also tried the address http://asnic.utexas.edu/asnic/html and received the error message "unknown addressee."