PanLinx
Deutsch
deu-000
ist gleich oder kleiner als
English
eng-000
is equal to or less than
PanLex
