PanLinx
Deutsch
deu-000
ausgeklammert
English
eng-000
eliminated
English
eng-000
factored out
PanLex
