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

Zur Zeit geschlossen

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