Would you like to copy the permanent link to your clipboard?

Permanent link:

https://help.openstreetmap.org/questions/10572/exporting-indoor-map-from-openstreetmap/10589