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

this is a bicycle store, not a bicycle shop