Dateien
| Name | Datum | Größe |
|---|---|---|
| page132.dvi | 12.06.2002 | 1841 Byte |
| page112.dvi | 12.06.2002 | 1819 Byte |
| page127.dvi | 12.06.2002 | 1787 Byte |
| page9.dvi | 12.06.2002 | 1743 Byte |
| page151.dvi | 12.06.2002 | 1702 Byte |
| page162.dvi | 12.06.2002 | 1686 Byte |
| page10scale2.html | 12.06.2002 | 1464 Byte |
| page10scale3.html | 12.06.2002 | 1462 Byte |
| page10scale5.html | 12.06.2002 | 1460 Byte |
| page10scale1.html | 12.06.2002 | 1456 Byte |