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

Es gibt keinen Hinweis auf eine öffentliche Fahrradpumpe aber ich würde während der Öffnungszeiten mal fragen.