I have an
electronic one which dates from the mid 1990s. The original
was in some random database format but the person who sent it to me
managed to extract the data into comma-delimeted text (iirc).
http://vt100.net/dec/dblist.tgz
Cool! (Always wanted a searchable version.)
Vince