Dateien
| Name | Datum | Größe |
|---|---|---|
| page155scale5.html | 12.06.2002 | 1450 Byte |
| page156.dvi | 12.06.2002 | 5074 Byte |
| page156scale1.html | 12.06.2002 | 1454 Byte |
| page156scale2.html | 12.06.2002 | 1453 Byte |
| page156scale3.html | 12.06.2002 | 1451 Byte |
| page156scale4.html | 12.06.2002 | 1438 Byte |
| page156scale5.html | 12.06.2002 | 1450 Byte |
| page157.dvi | 12.06.2002 | 1877 Byte |
| page157scale1.html | 12.06.2002 | 1454 Byte |
| page157scale2.html | 12.06.2002 | 1452 Byte |