PanLinx
Deutsch
deu-000
automatisiertes Satzsystem
English
eng-000
automated typesetting system
PanLex
