Merge branch 'master' into LaTeX_documentation_holzi
Finish!
Merge branch 'LaTeX_documentation_holzi'