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.
Discussion
Ich bin sehr gespannt ob das wirklich stimmt und der Bug (ein deadlock) jetzt wirklich Geschichte ist.