Update and rename formelltbevis.txt to formelltbevis.tex