Hi!

Is https://www.openstreetmap.org/way/1258585957 a "biergarten in the Bavarian sense" (amenity=biergarten) separate to the adjacent pub, or outdoor seating typical of a British pub (leisure=outdoor_seating)?

https://wiki.openstreetmap.org/wiki/Tag:amenity=biergarten?uselang=en-GB
https://wiki.openstreetmap.org/wiki/Tag:leisure%3Doutdoor_seating

Jon