Adding German keyboard with comma on the numpad

This is for users with external keyboards. In Germany the decimal mark
is a comma. This extension rewrites any numpad dot keyevent to output a
comma.