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

Keine öffentliche Pumpe, aber man bekommt eine ausgeliehen, wenn man nett im Laden fragt.