If [this comment](https://github.com/gitMarky/openclonk/commit/67af3b08c05fe971d02c3a5e3526436a9dcc35ab#commitcomment-9132388) is implemented, then this is not needed anymore.