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

1 job for develop in 45 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #297861
unit_tests_with_coverage

00:00:45