It further seems, that now the panel is working as it should. The bug fixed itself. Thanks for your help. -- destroyed gnome-panel https://launchpad.net/bugs/93687