Dateien
| Name | Datum | Größe |
|---|---|---|
| page8scale2.html | 12.06.2002 | 1434 Byte |
| page8scale3.html | 12.06.2002 | 1433 Byte |
| page8scale4.html | 12.06.2002 | 1420 Byte |
| page8scale5.html | 12.06.2002 | 1432 Byte |
| page9.dvi | 12.06.2002 | 1743 Byte |
| page90.dvi | 12.06.2002 | 4129 Byte |
| page90scale1.html | 12.06.2002 | 1445 Byte |
| page90scale2.html | 12.06.2002 | 1444 Byte |
| page90scale3.html | 12.06.2002 | 1442 Byte |
| page90scale4.html | 12.06.2002 | 1429 Byte |