Dateien
| Name | Datum | Größe |
|---|---|---|
| page62.dvi | 12.06.2002 | 4514 Byte |
| page61scale5.html | 12.06.2002 | 1441 Byte |
| page61scale4.html | 12.06.2002 | 1429 Byte |
| page61scale3.html | 12.06.2002 | 1442 Byte |
| page61scale2.html | 12.06.2002 | 1444 Byte |
| page61scale1.html | 12.06.2002 | 1445 Byte |
| page61.dvi | 12.06.2002 | 2411 Byte |
| page60scale5.html | 12.06.2002 | 1441 Byte |
| page60scale4.html | 12.06.2002 | 1429 Byte |
| page60scale3.html | 12.06.2002 | 1442 Byte |