Begriffsdefinitionen updated.