.
automatenspiele erklarung ghcs