Hello, this bug report can be closed. I had a hard disk crash and did a clean installation. Now gnome-shell works very well. And sorry for the garbage at the beginning of my bug report.
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org