Dear maintainers, it seems, this bug is now fixed. Great! Thank you very much for your work. The bug can safely be closed! Hurrah!!! Cheers Hans-J. Ullrich