docu LATEX changes. almost final