Since my computer died in an HDD crash, I cannot help with package versions etc. All I can say is that the packages were of late October and the system was heavily upgraded (a February snapshot with tons of upgrades) but it didn't have any broken packages. Now I have to live with an extremely outdated Red Hat 8.0, so I don't know if the bug persists in Debian. Perhaps, if no one can reproduce it, the bug should be closed. Paul