.
automatenspiele erklarung dbms