Kleine Korrektur an Syntaxbeschreibung