.
vera und ebnf