Rename Kravspec14.tex to dokumentation.tex