edited docu.tex