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

Dies ist win Wohnhaus, in dem es keinen Laden gibt. An der Klingel ist dass Geschäft auch nicht vermerkt. Möglicherweise befindet sichv das Geschäft in der Nähe, ich habe es aber nichts gesehen.