PanLinx
Deutsch
deu-000
Druckdezimalpunkt
English
eng-000
actual decimal point
PanLex