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