PanLinx: Doppelfunktionstaste

Deutsch	deu-000
Doppelfunktionstaste

English	eng-000	alternate action key
English	eng-000	double function key

PanLex-PanLinx