I had a copy of the adwaita theme in the .themes folder under my home directory. Cancelling that the problem disappeared (it must have been fixed in the meantime in the gnome-themes-standard package) So I think the bug-report can be closed.
Thanks, Carlo.
