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

Fahrradladen nicht mehr ersichtlich