DjVu : 1427 KByte, 50 KByte/page (non searchable) PDF : 6729 KByte, 240 KByte/page (non searchable) TIFF : 2342 KByte, 83 KByte/page
DjVu : 7799 KByte, 47 KByte/page (non searchable)Below the same as above, but OCR'ed by the public DjVu-Server (thereby made searchable):
DjVu : 8240 KByte, 49 KByte/page (searchable) ASCII Layer
To view the DjVu files. it is necessary that a DjVu viewer is installed on your system. This can be downloaded from DjVuLibre (free software).