Ob man das Restaurant und das Hotel als zwei verschiedene Objekte eintragen will, darüber kann man diskutieren. Fakt ist aber, dass hier das Restaurant als Teil des Hotels bereits seit 2018 eingetragen war ( https://www.openstreetmap.org/node/5949007986 ). Daher sind auch die Restaurant-Eigenschaften dort enthalten. Die Doppelung enstand mit Eintrag des Bruderherz im Dezember 2019 ( https://www.openstreetmap.org/node/7064439986/history ). Dabei wurde offenbar Ersteres übersehen.