Fantastic! Magic Alt-Ctrl really make the keyboard work again although the keystroke specified in the title bar is Ctrl-Shift (it doesn't help by the way). Thank you, tabletrat!