Files
| Name | Date | Size |
|---|---|---|
| page21.dvi | 12.06.2002 | 3595 Byte |
| page20scale5.html | 12.06.2002 | 1441 Byte |
| page20scale4.html | 12.06.2002 | 1429 Byte |
| page20scale3.html | 12.06.2002 | 1442 Byte |
| page20scale2.html | 12.06.2002 | 1444 Byte |
| page20scale1.html | 12.06.2002 | 1445 Byte |
| page20.dvi | 12.06.2002 | 3322 Byte |
| page2.dvi | 12.06.2002 | 483 Byte |
| page1scale5.html | 12.06.2002 | 1421 Byte |
| page1scale3.html | 12.06.2002 | 1422 Byte |