Definitions

[1] eine Taste die mit der "Enter"-Taste identisch ist