Would you like to copy the permanent link to your clipboard?
Permanent link:
https://help.openstreetmap.org/questions/16019/what-belongs-to-the-area-of-an-marina/16020