Files
| Name | Date | Size |
|---|---|---|
| page5.dvi | 12.06.2002 | 3510 Byte |
| page50.dvi | 12.06.2002 | 4038 Byte |
| page50scale1.html | 12.06.2002 | 1445 Byte |
| page50scale2.html | 12.06.2002 | 1444 Byte |
| page50scale3.html | 12.06.2002 | 1442 Byte |
| page50scale4.html | 12.06.2002 | 1429 Byte |
| page50scale5.html | 12.06.2002 | 1441 Byte |
| page51.dvi | 12.06.2002 | 4558 Byte |
| page51scale1.html | 12.06.2002 | 1445 Byte |
| page51scale2.html | 12.06.2002 | 1444 Byte |