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