Merge branch 'develop' into feature-redesign
neue Option "fontsize"
Merge branch 'develop' into release-0.11
Version 0.11: Option "fontsize"
Merge branch 'release-0.11' into develop