I generated the bug report with the `reportbug' tool indicating it as another instance of #455310 in the hope that the backtrace of another person might be helpful. But probably using `reportbug' and than indicating the original bug is not the right way to add information to a bug report already existing? - Sorry for generating unnecessary work! Thanks again, Dietrich