Butlers Wharf: pumping station and warehouse