Thank you Phiro and Michael.
.
>> external key remapping<<
The reason for my question is that I had remapped the zoom-function hotkey in
a way it was ergonomically perfectly close to all the other keys I mainly use.
Now it turned out that my new keyboard has difficulties in remapping the Ctrl -
key. Maybe I can find another workaround.