PanLinx
Deutsch
deu-000
Teilnehmer-System
English
eng-000
time-sharing system
PanLex
