.
automatenspiele liste jleq