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

Es gibt keine Pumpe draußen, aber einem wird sicher das Fahrrad kostenlos aufgepumpt