Dateien
| Name | Datum | Größe |
|---|---|---|
| page90scale5.html | 12.06.2002 | 1441 Byte |
| page91.dvi | 12.06.2002 | 4840 Byte |
| page91scale1.html | 12.06.2002 | 1445 Byte |
| page91scale2.html | 12.06.2002 | 1444 Byte |
| page91scale3.html | 12.06.2002 | 1442 Byte |
| page91scale4.html | 12.06.2002 | 1429 Byte |
| page91scale5.html | 12.06.2002 | 1441 Byte |
| page92.dvi | 12.06.2002 | 4831 Byte |
| page92scale1.html | 12.06.2002 | 1445 Byte |
| page92scale2.html | 12.06.2002 | 1444 Byte |