Belastingdienst deelt mee in casino-jackpot van 1,37 miljoen euro, slimme oplossing of niet