Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at 131.188.12.211 Port 80
Parent Directory - dinbrief.pdf 2007-07-27 17:02 464K dinbrief.dtx 2000-03-11 07:44 237K readme 2000-01-20 15:20 8.0K dinbrief.ins 2000-03-11 07:44 6.7K liesmich 2000-01-20 15:20 4.4K