Name Size Parent Directory - 19800-tei/ - 19800-h/ - 19800-pdf.pdf 3.1M 19800-0.txt 1.0M 19800.txt 1.0M 19800-8.txt 1.0M 19800-pdf.zip 935K 19800-h.zip 515K 19800-tei.zip 441K 19800-0.zip 392K 19800-8.zip 391K 19800.zip 391K