Dateien
| Name | Datum | Größe |
|---|---|---|
| page29scale3.html | 12.06.2002 | 1442 Byte |
| page29scale4.html | 12.06.2002 | 1429 Byte |
| page29scale5.html | 12.06.2002 | 1441 Byte |
| page2scale1.html | 12.06.2002 | 1436 Byte |
| page2scale2.html | 12.06.2002 | 1435 Byte |
| page2scale3.html | 12.06.2002 | 1433 Byte |
| page2scale4.html | 12.06.2002 | 1408 Byte |
| page2scale5.html | 12.06.2002 | 1432 Byte |
| page3.dvi | 12.06.2002 | 8,3 KB |
| page30.dvi | 12.06.2002 | 4002 Byte |