(DIR) abs
 (BIN) koninck71.dvi
 (HTM) koninck71.html
 (DOC) koninck71.pdf
 (TXT) koninck71.ps
 (TXT) koninck71.tex