Sometimes (about once a week) the control keys (ctrl, shift, alt) so not work anymore. They do work when I boot up, but after a while they stop working. Logging out and in again repairs it. What can cause something like that?
It is a laptop keyboard (HP EliteBook 8730w) with german layout.
Incidentally it just happened right after vmware-player crashed same as the last time. Coincidence?