Dateien
| Name | Datum | Größe |
|---|---|---|
| page60scale2.html | 12.06.2002 | 1444 Byte |
| page60scale1.html | 12.06.2002 | 1445 Byte |
| page60.dvi | 12.06.2002 | 2180 Byte |
| page6.dvi | 12.06.2002 | 7,1 KB |
| page5scale5.html | 12.06.2002 | 1432 Byte |
| page5scale4.html | 12.06.2002 | 1420 Byte |
| page5scale3.html | 12.06.2002 | 1433 Byte |
| page5scale2.html | 12.06.2002 | 1434 Byte |
| page5scale1.html | 12.06.2002 | 1436 Byte |
| page59scale5.html | 12.06.2002 | 1441 Byte |