.
automatenspiele liste nitq