assigned to @moebius
CI: https://www.graphics.rwth-aachen.de:9000/OpenFlipper-Free/OpenFlipper-Free/pipelines/9633
mentioned in commit 58cb63d0
merged
