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

Pumpicka a stojan pro opravy kol tu u prodejny nejsou, ale oboji je cca 60 m na vychod - na nabrezi.