Merge branch 'master' into latex_doc_felix
Working on everything.
Merge branch 'latex_doc_felix'
Refactoring.
Merge branch 'latex_doc_felix'
Merge branch 'master' into LaTeX_documentation_holzi