Unable to answer "Is there a public bicycle pump here (at least when it’s open)?" – BRT bereadyto Next Mobility (Bicycle Shop) – https://osm.org/node/1029607334 via StreetComplete 58.2:

no more bicycle shop here