TEX am Leibniz Rechenzentrum - Haarer, Adolf (Leibniz-Rechenzentrum, 1993)