of the museum and workshops established by the Worshipful Company of Plumbers,