Dear maintainers, the bug did not appear any more. Everything is working fine now, although I had nothing changed. The bug came by magic, and went by magic. I think, you can safely close this bug. Best regards Hans