Merge branch 'bugfix/silence-useless-warnings' into 'master' See merge request [!281] [!281]: Nonecore/dune-istl/merge_requests/281