Dateien
| Name | Datum | Größe |
|---|---|---|
| page119scale5.html | 12.06.2002 | 1450 Byte |
| page11scale1.html | 12.06.2002 | 1445 Byte |
| page11scale2.html | 12.06.2002 | 1444 Byte |
| page11scale3.html | 12.06.2002 | 1442 Byte |
| page11scale4.html | 12.06.2002 | 1429 Byte |
| page11scale5.html | 12.06.2002 | 1441 Byte |
| page12.dvi | 12.06.2002 | 4917 Byte |
| page120.dvi | 12.06.2002 | 4748 Byte |
| page120scale1.html | 12.06.2002 | 1454 Byte |
| page120scale2.html | 12.06.2002 | 1453 Byte |