This dictionary was downloaded from 4TeX's Home Page:

  http://frambach.eco.rug.nl/4tex5/