virtuelle automatenspiele definition wmsn