Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at 131.188.12.211 Port 80
Parent Directory - 00readme.1st 1998-07-07 02:00 5.4K betatest/ 2000-04-03 12:00 - gerdoc.dvi 1998-07-14 02:00 81K gerdoc.pdf 2007-01-04 13:32 203K gerdoc.tex 1998-07-07 02:00 63K german.MISSING 1997-05-09 02:00 272 german.dtx 1998-07-07 02:00 95K german.ins 1999-04-13 16:12 2.5K german.sty 1999-04-13 16:12 25K ngerman.sty 1999-04-13 16:12 25K