merge version 0.5.1 #38

Manually merged
Seil0 merged 11 commits from develop into master 2020-02-05 14:15:04 +01:00
No description provided.