The pitting corrosion of copper tubes in hot water