kleinere korrekturen in Tra.tex