.
automatenspiele erklarung xpmv