../ deutsch-plain-dc.dvi 16-Mar-1997 07:00 31K deutsch-plain-dc.ps 16-Mar-1997 07:00 102K deutsch-plain-dc.tex 16-Mar-1997 07:00 27K eng-plain-dc.dvi 16-Mar-1997 07:00 28K eng-plain-dc.ps 16-Mar-1997 07:00 99K eng-plain-dc.tex 16-Mar-1997 07:00 25K nor-plain-dc.dvi 16-Mar-1997 07:00 28K nor-plain-dc.ps 16-Mar-1997 07:00 99K nor-plain-dc.tex 16-Mar-1997 07:00 25K