Fixed Gereons warning of unused function.
Merge branch 'master' of http://srv-i2.informatik.rwth-aachen.de:8080/git/carl