Dateien
| Name | Datum | Größe |
|---|---|---|
| page72scale5.html | 12.06.2002 | 1441 Byte |
| page73.dvi | 12.06.2002 | 824 Byte |
| page73scale1.html | 12.06.2002 | 1445 Byte |
| page73scale2.html | 12.06.2002 | 1444 Byte |
| page73scale3.html | 12.06.2002 | 1442 Byte |
| page73scale4.html | 12.06.2002 | 1429 Byte |
| page73scale5.html | 12.06.2002 | 1441 Byte |
| page74.dvi | 12.06.2002 | 687 Byte |
| page74scale1.html | 12.06.2002 | 1445 Byte |
| page74scale2.html | 12.06.2002 | 1444 Byte |