Ist das "Casino Deluxe" wirklich ein echtes Casino gemäß https://wiki.openstreetmap.org/wiki/DE:Tag:amenity=casino oder vielleicht doch nur eine Spielautomatenhalle (https://wiki.openstreetmap.org/wiki/DE:Tag:leisure%3Dadult_gaming_centre)?