Files
| Name | Date | Size |
|---|---|---|
| page80.dvi | 12.06.2002 | 4561 Byte |
| page8.dvi | 12.06.2002 | 5033 Byte |
| page7scale5.html | 12.06.2002 | 1432 Byte |
| page7scale4.html | 12.06.2002 | 1420 Byte |
| page7scale3.html | 12.06.2002 | 1433 Byte |
| page7scale2.html | 12.06.2002 | 1435 Byte |
| page7scale1.html | 12.06.2002 | 1436 Byte |
| page79scale5.html | 12.06.2002 | 1441 Byte |
| page79scale4.html | 12.06.2002 | 1429 Byte |
| page79scale3.html | 12.06.2002 | 1442 Byte |