PanLinx
Deutsch
deu-000
normale Beendigung
Deutsch
deu-000
erfolgreiche Beendigung
English
eng-000
normal termination
English
eng-000
successful termination
日本語
jpn-000
正常終了
PanLex
