Merge branch 'Warnings' of...

Merge branch 'Warnings' of https://www.graphics.rwth-aachen.de:9000/OpenFlipper-Free/OpenFlipper-Free into Warnings