PanLinx
Deutsch
deu-000
Präsentationslogik
English
eng-000
presentation logic
PanLex
