Merge branch 'master' into latex_doc_felix
Refreshed Brainstorming.
Merge branch 'latex_doc_felix'