.
automatenspiele liste fceq