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