Dateien
| Name | Datum | Größe |
|---|---|---|
| page123scale5.html | 12.06.2002 | 1450 Byte |
| page124.dvi | 12.06.2002 | 822 Byte |
| page124scale1.html | 12.06.2002 | 1454 Byte |
| page124scale2.html | 12.06.2002 | 1453 Byte |
| page124scale3.html | 12.06.2002 | 1451 Byte |
| page124scale4.html | 12.06.2002 | 1438 Byte |
| page124scale5.html | 12.06.2002 | 1450 Byte |
| page125.dvi | 12.06.2002 | 861 Byte |
| page125scale1.html | 12.06.2002 | 1454 Byte |
| page125scale2.html | 12.06.2002 | 1453 Byte |