Dateien
| Name | Datum | Größe |
|---|---|---|
| page85.dvi | 12.06.2002 | 5029 Byte |
| page84scale5.html | 12.06.2002 | 1441 Byte |
| page84scale4.html | 12.06.2002 | 1429 Byte |
| page84scale3.html | 12.06.2002 | 1442 Byte |
| page84scale2.html | 12.06.2002 | 1444 Byte |
| page84scale1.html | 12.06.2002 | 1445 Byte |
| page84.dvi | 12.06.2002 | 4796 Byte |
| page83scale5.html | 12.06.2002 | 1441 Byte |
| page83scale4.html | 12.06.2002 | 1429 Byte |
| page83scale3.html | 12.06.2002 | 1442 Byte |