Thanks for the info! I've since activated the keyboard shortcuts to switch between German and U.S., so a quick switch back and forth solves the problem. The problem does not occur so often that it would get too annoying, so I can cope with that.
What is more annoying is that the German keyboard layout and its mapping are incorrect? I do not have this problem with 9.2.2 on the MDD. It's only on the Mini. For instance, if I hit the key for ≤ ≥ which is located to the right of the left shift key on a German Apple Pro keyboard, I get the character ^ printed.
I used an oldie-but-goldie,
ASCII Chart, to show me all characters in the font. It shows me < and > as being present, but the key gets incorrectly mapped when I press it. I haven't ever run into a problem like this so I figure it's a Mini 9.2.2 specific problem.
Can somebody else reproduce the problem?
Is there an easy fix for this kind of mapping problem?