PanLinx
Deutsch
deu-000
einstrittsinvariant
English
eng-000
reentrant
PanLex
