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

10 jobs for master in 24 seconds (queued for 1 second)