The bug hasn't shown up since more than a month. So it seems to be fixed. The logging will be keeped and if the bug shows up again, I have some utils to hunt it down.
Discussion
Just three days after this post and the bug has shown again. But the improved debug logging helped and so it looks like it is identified and fixed now.