Would you like to copy the permanent link to your clipboard?
Permanent link:
https://help.openstreetmap.org/questions/43853/how-to-get-polygon_geojson-for-administrative/43857