Would you like to copy the permanent link to your clipboard?
Permanent link:
https://help.openstreetmap.org/questions/43888/exporting-building-names-in-a-selected-city/43889