PanLinx
Deutsch
deu-000
maschinelle Programmeingabe
English
eng-000
external program input
PanLex
