ett Pumpverk för s. k. Gamla Reparationsdocf.an,