#
latex ehren4.tex
latex ehren4.tex
dvips -z ehren4.dvi > ehren4.ps
dvips -z -Ppdf -o tmp.ps ehren4.dvi
ps2pdf tmp.ps ehren4.pdf
/bin/rm tmp.ps
chmod og+r *