v1.0.0rc0: merge dev into master

Required second Merge Request after release branch was merged into dev.

Will not occur anymore after removing the dev branch...