.
automatenspiele in der nahe zwkc