../ deutsch-plain-dc.dvi 16-Mar-1997 07:00 31468 deutsch-plain-dc.ps 16-Mar-1997 07:00 104565 deutsch-plain-dc.tex 16-Mar-1997 07:00 27340 eng-plain-dc.dvi 16-Mar-1997 07:00 28856 eng-plain-dc.ps 16-Mar-1997 07:00 101379 eng-plain-dc.tex 16-Mar-1997 07:00 25628 nor-plain-dc.dvi 16-Mar-1997 07:00 28840 nor-plain-dc.ps 16-Mar-1997 07:00 101262 nor-plain-dc.tex 16-Mar-1997 07:00 25486