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

2 jobs for master in 76 minutes and 8 seconds (queued for 2 seconds)