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

Es gibt keine öffentlich zugängliche Pumpe, aber wenn man fragt, bekommt man eine zur Verfügung gestellt