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

11 jobs for improveStairTests