Dateien
| Name | Datum | Größe |
|---|---|---|
| page31scale5.html | 12.06.2002 | 1441 Byte |
| page32.dvi | 12.06.2002 | 3989 Byte |
| page32scale1.html | 12.06.2002 | 1445 Byte |
| page32scale2.html | 12.06.2002 | 1444 Byte |
| page32scale3.html | 12.06.2002 | 1442 Byte |
| page32scale4.html | 12.06.2002 | 1429 Byte |
| page32scale5.html | 12.06.2002 | 1441 Byte |
| page33.dvi | 12.06.2002 | 6,2 KB |
| page33scale1.html | 12.06.2002 | 1445 Byte |
| page33scale2.html | 12.06.2002 | 1444 Byte |