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