Hello Michael,

thanks for notifying me about these broken patches.
I have absolutely no idea why this is happening - git does not
seem to like me. :-(

Working on this...

Best regards,
Peter Müller