The problem disappeared after a reboot (unintended: I hit the reset button with my knee...). Please close this bug report, and sorry for the annoyance.