Sørenga Harbor Pool, Oslo, Norway