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

It's a bike shop