Can anyone recommend a hotel with a decent pool in Barcelona? I’m a keen swimmer and want to get my lengths in when on there in the summer, I’ve seen a few that seem to just have tiny pools. Ideally close to sights etc also..