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

1 job for develop in 49 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Test
passed #328932
unit_tests_with_coverage

00:00:49