Hvordan Spillemyndigheden overvåger og tester softwaren hos danske casinoer?