CI: https://www.graphics.rwth-aachen.de:9000/OpenFlipper-Free/OpenFlipper-Free/pipelines/8678
mentioned in commit d2c6d506
merged