Dateien
| Name | Datum | Größe |
|---|---|---|
| page12.dvi | 12.06.2002 | 4917 Byte |
| page82.dvi | 12.06.2002 | 4891 Byte |
| page91.dvi | 12.06.2002 | 4840 Byte |
| page92.dvi | 12.06.2002 | 4831 Byte |
| page87.dvi | 12.06.2002 | 4819 Byte |
| page84.dvi | 12.06.2002 | 4796 Byte |
| page155.dvi | 12.06.2002 | 4793 Byte |
| page28.dvi | 12.06.2002 | 4783 Byte |
| page13.dvi | 12.06.2002 | 4768 Byte |
| page93.dvi | 12.06.2002 | 4753 Byte |