Vielen Dank, Ingo und Klaus!
Inzwischen habe ich eine andere, sehr einfache Lösung gefunden:
- Einstellungen öffnen
- "Systemsteuerung" suchen
- Alle Steuerungselemente
- Lenovo Tastaturmanager (ob der da schon immer war oder mit Vantage dazu kam?)
- Reiter: Austausch der Funktionen ...
Damit ist es erledigt.