Even afkoelen in de Piscina Municipal, het gemeentelijk zwembad