I suspect the word "pump" may have some other meanings unknown to me (the shorter the word, the older it is!) Just in case, I'll clarify that it was a bicycle pump, haha
and not the least: you've made an excellent, useful post about iconic spots of the city, everything is correct, and clearly systematized ... I'm sure that it will not go unappreciated and will be chosen for the pinmapple digest. 👍
!BEER
Thank you! :) Words are like that, right, better to be precise :) I have edited the post.
Cheers!