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