Madrid i oktober månad.