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