EBNF erweitert / korrigiert