The typesetting on this file is superb. It would have given an excellent result under OCR processing.