ARTEX	printout of artex 'whois'list, 19 november 1982