[comp.sys.atari.st] DVI printer driver for Atari laser printer?

AB084@DK0RRZK0.BITNET (09/08/88)

Does anybody know if there is a printer driver that converts DVI files
(TeX's DeVice Independent format) into something printable on the
Atari laser printer?
Any information is welcome. It could be commercial products as well
as PD or shareware programs.
Michael Eibl
Inst. f. Theor. Phys.
Univ. zu Koeln
Cologne, West Germany