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

Bambusvelo ist nicht mehr. Lokal steht leer