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

Wenn offen ist wahrscheinlich schon, siehe Pumpenanschluss links unten im Foto.

Attached photo(s):
https://westnordost.de/p/95461.jpg