Unable to answer "Is there a public bicycle pump here (at least when it’s open)?" – AT Sport (Bicycle Shop) – https://osm.org/node/1847144430 via StreetComplete 57.1:

They are moving.

Attached photo(s):
https://westnordost.de/p/203994.jpg