PanLinx
Deutsch
deu-000
reellwertig
English
eng-000
real-valued
PanLex
