Gert van de Kraats Sat, 13 Feb 2021 11:54:11 -0800
After recent Debian updates the problem does not exist anymore.
So I think the bug can be closed. Gert
