Dateien
| Name | Datum | Größe |
|---|---|---|
| page157scale3.html | 12.06.2002 | 1451 Byte |
| page157scale4.html | 12.06.2002 | 1438 Byte |
| page157scale5.html | 12.06.2002 | 1450 Byte |
| page158.dvi | 12.06.2002 | 3579 Byte |
| page158scale1.html | 12.06.2002 | 1454 Byte |
| page158scale2.html | 12.06.2002 | 1453 Byte |
| page158scale3.html | 12.06.2002 | 1451 Byte |
| page158scale4.html | 12.06.2002 | 1438 Byte |
| page158scale5.html | 12.06.2002 | 1450 Byte |
| page159.dvi | 12.06.2002 | 3693 Byte |