Unable to answer "Is there a public bicycle pump here (at least when it’s open)?" for https://osm.org/node/1618341980 via StreetComplete 53.2:

Existiert nicht. Der Laden inkl. links von Hs 54 gehört zu Pedalkraft. (Und ja, da gibt es eine öffentliche Luftpumpe/Kompressor