Merge branch 'master' of gitlab.lrz.de:vadere/vadere

11 jobs for master in 215 minutes and 2 seconds (queued for 1 second)