Dateien
| Name | Datum | Größe |
|---|---|---|
| page1scale2.html | 12.06.2002 | 1435 Byte |
| page1scale1.html | 12.06.2002 | 1436 Byte |
| page19scale5.html | 12.06.2002 | 1441 Byte |
| page19scale4.html | 12.06.2002 | 1429 Byte |
| page19scale3.html | 12.06.2002 | 1442 Byte |
| page19scale2.html | 12.06.2002 | 1444 Byte |
| page19scale1.html | 12.06.2002 | 1445 Byte |
| page19.dvi | 12.06.2002 | 5,2 KB |
| page18scale5.html | 12.06.2002 | 1441 Byte |
| page18scale4.html | 12.06.2002 | 1429 Byte |