Hallo, vielleicht kann hier jemand vor Ort bitte weiter helfen? Existiert mammaminuti hier noch?

Laut Website https://www.elaya-hotels.com/restaurants-und-bars/ gibt es dieses Restaurant nicht mehr

https://www.openstreetmap.org/node/720627679