@
Invalid Command! Please retype the
correct command abbreviation or use
(SHIFT-) ESC (or CTRL-g) to escape
out of the command input window.

Furthermore, please use (SHIFT-)
RETURN to terminate the command
input and BACKSPACE to delete
wrong letters.
@
Menu is too small to display all 
commands! Please, enlarge the
presentation window.
@
You clicked in a menu which is
not inside the current scope. 
To use this menu please change the
focus by clicking into the according
representation window first.
