The latex source has been converted to the format DOC.