PanLinx
Deutsch
deu-000
formalisierend
English
eng-000
formalising
English
eng-000
formalizing
PanLex
