Vermutlich sollte das ein Parkgeschoss markieren. Da das Casino aber nicht in diesem Gebäude und auch nicht in der Nähe ist habe ich den Defi sicherheitshalber gelöscht.
https://www.openstreetmap.org/changeset/158740390