Would you like to copy the permanent link to your clipboard?
Permanent link:
https://help.openstreetmap.org/questions/56399/name-of-the-server-for-downloading-map-from-openstreetmapin/56402