(TXT) abstr.asc
 (HTM) abstr.html
 (DIR) figures
 (DIR) gifs
 (TXT) hafstein-tex
 (BIN) hafstein.dvi
 (DOC) hafstein.pdf
 (BIN) hafstein.ps.gz