Merge branch 'master' into...
Merge branch 'master' into 241-new-flag-to-compute-metric-for-the-quality-of-the-stepcircleoptimizer
9.2.2023: Due to updates GitLab will be unavailable for some minutes between 9:00 and 11:00.
Merge branch 'master' into 241-new-flag-to-compute-metric-for-the-quality-of-the-stepcircleoptimizer