Unable to answer "Is there a public bicycle pump here (at least when it’s open)?" – Hegau Bike & coffe shop (Bicycle Shop) – https://osm.org/node/3376850669 via StreetComplete 62.2:

New shop: Hegau Fitness Fuel