PanLinx
Deutsch
deu-000
genau dann
Deutsch
deu-000
wenn
English
eng-000
if and only if
PanLex
