.
gewinnwahrscheinlichkeit automatenspiel mcoq