Merge branch 'develop' into 'master'

GDW WS18/19

See merge request !1
3 jobs for gdw_ws1819 in 12 minutes and 45 seconds (queued for 13 minutes and 10 seconds)
latest
Status Job ID Name Coverage
  Build
passed build-clang #8494

00:03:03

passed build-gcc #8493

00:03:20

passed build-scanbuild #8495

00:06:21