Dateien
| Name | Datum | Größe |
|---|---|---|
| page130.dvi | 12.06.2002 | 853 Byte |
| page123.dvi | 12.06.2002 | 859 Byte |
| page125.dvi | 12.06.2002 | 861 Byte |
| page133.dvi | 12.06.2002 | 935 Byte |
| page129.dvi | 12.06.2002 | 986 Byte |
| page153.dvi | 12.06.2002 | 990 Byte |
| page141.dvi | 12.06.2002 | 1145 Byte |
| page152.dvi | 12.06.2002 | 1168 Byte |
| page122.dvi | 12.06.2002 | 1343 Byte |
| page2scale4.html | 12.06.2002 | 1408 Byte |