Zusätzlich ist im gleichen Hotel noch ein weiteres Restaurant eingetragen:
https://www.openstreetmap.org/node/3444723193

Ich bezweifle, dass dort wirklich zwei Restaurants existieren. Weiß jemand mehr?