Developer

Elias Zimmermannrequested to merge
developer into master
  • Review-inputs
  • Corrections (mainly in english version)
  • Bigger fonts in admonitions

Merge request reports