Files
| Name | Date | Size |
|---|---|---|
| page53.dvi | 12.06.2002 | 4708 Byte |
| page52scale5.html | 12.06.2002 | 1441 Byte |
| page52scale4.html | 12.06.2002 | 1429 Byte |
| page52scale3.html | 12.06.2002 | 1442 Byte |
| page52scale2.html | 12.06.2002 | 1444 Byte |
| page52scale1.html | 12.06.2002 | 1445 Byte |
| page52.dvi | 12.06.2002 | 4463 Byte |
| page51scale5.html | 12.06.2002 | 1441 Byte |
| page51scale4.html | 12.06.2002 | 1429 Byte |
| page51scale3.html | 12.06.2002 | 1442 Byte |