Thanks for your reply. At least now I know that there is nothing I can do. That's something.
No, I really couldn't do anything else than restart the hard way. There was no reaction at all to any typing on my keyboard.