Denmark’s Spillemyndigheden regulatory agency reported statistics Third quarter, 2018