Release notes

Hi everyone, Just a reminder: before merging a PR in the future, we want to make sure, that the changes are documented in `doc/release/release_dev.txt`. Johannes Schönberger