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

Radl Gern scheint es hier nicht mehr zu geben

Attached photo(s):
https://westnordost.de/p/233861.jpg
https://westnordost.de/p/233862.jpg
https://westnordost.de/p/233863.jpg