PanLinx
Deutsch
deu-000
Formalisierung
čeština
ces-000
formalizace
PanLex
