Added file by OCR, checked by hand. Numbering remains.