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