Averaged mappings in the Hilbert ball