Sthlms vattenledning jernrör v. 16 000 kr.,