.
automaten strategien novoline ebdf