beslutat att till platsen för det gamla fula , längesedan af allmänna smaken utdömda pumphuset på Brunkebergstorg förflytta den — gamla pumpen på Stortorget.