Rehabilitation of the Olympic Stadium fountain