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

Maybe if you get inside the shop.. But there isnt one outside