.
automatenspiele in der nahe syzz