german keyboard fix

Maybe this fixes the problems with the german keyboard. I do not have python installed, so I cannot check it myself.
So try it out, and report back, if it works.