Hinweis: Die gif-Dateien wurden mittels gzip komprimiert, diese Dateien können unter Unix mittels "gzip", unter Windows mittels "WinZip" ausgepackt werden. Die .jpg-Dateien wurden aus den gif-Dateien erzeugt, wobei eine jpg-Qualität von "50" benutzt wurde. Dementsprechend sind die jpg-Dateien qualitativ etwas schlechter als die gif-Dateien.
| Format | gif.gz, 256 farben | jpg, 16 Graustufen |
| Deckblatt | 1567814 Bytes | 353122 Bytes |
| Seite 1 | 1096099 Bytes | 396026 Bytes |
| Seite 2 | 1055299 Bytes | 398346 Bytes |
| Seite 3 | 996867 Bytes | 398764 Bytes |
| Seite 4 | 1083589 Bytes | 379755 Bytes |
| Seite 5 | 964438 Bytes | 387698 Bytes |
| Seite 6 | 1224605 Bytes | 352299 Bytes |
| Seite 7 | 1028779 Bytes | 412904 Bytes |
| Übersichtskarten | 416670 Bytes | 165761 Bytes |
| Seite 1, links | 311352 Bytes | 157051 Bytes |
| Seite 1, rechts | 1011015 Bytes | 377418 Bytes |
| Seite 2, links | 846298 Bytes | 247628 Bytes |
| Seite 2, rechts | 773068 Bytes | 228223 Bytes |
