Unable to answer "Is there a public bicycle pump here (at least when it’s open)?" – Pedal or Not (Bicycle Shop) – https://osm.org/node/2970866827 via StreetComplete 57.1:

Building gone

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