Definitions

[1] kurz gesagt, keine lange Geschichte daraus machend