(BIN) puchta200.dvi
 (HTM) puchta200.html
 (DOC) puchta200.pdf
 (TXT) puchta200.ps
 (TXT) puchta200.tex