closes https://www.graphics.rwth-aachen.de:9000/OpenFlipper-Free/OpenFlipper-Free/issues/157 relies on https://www.graphics.rwth-aachen.de:9000/OpenFlipper-Free/OpenFlipper/merge_requests/110
merged
mentioned in commit de2f6e48