Hi Leonhard,
thanks for your patch. I tried to apply it to current master, but it doesn't apply.
The previous commit 201ff71 you reference in your patch also doesn't appear to be in the official git repository.
Please try to re-submit as a patch that applies on top of current master.
Thanks!