Ok, thanks, great.

The MS-Windows patch is now in commit [c2b0208c78] starting branch [893f8cc5-tip509-nested-mutex-win].

I understand right, that the Unix patch does not work?
Ok, I have closed branch [893f8cc5-tip509-nested-mutex].

Hope we will have a great discussion tomorrow !

Thanks for all, I appreciate, Christian.
I suppose, you had a full week-end on engeneering on this.

Take care,
Harald