Dateien
| Name | Datum | Größe |
|---|---|---|
| abb | 16.01.2019 | 0 Byte |
| diss.dvi | 12.06.2002 | 543 KB |
| index.html | 12.06.2002 | 1409 Byte |
| page1.dvi | 12.06.2002 | 757 Byte |
| page10.dvi | 12.06.2002 | 148 Byte |
| page100.dvi | 12.06.2002 | 5,9 KB |
| page100scale1.html | 12.06.2002 | 1452 Byte |
| page100scale2.html | 12.06.2002 | 1451 Byte |
| page100scale3.html | 12.06.2002 | 1449 Byte |
| page100scale4.html | 12.06.2002 | 1436 Byte |