The Pool refurbishment of the early 1930s