What temperature should cold water be distributed at?

The temperature of water within cold water pipes should not be warmed above 25ºC and ideally not above 20ºC. Adequate measures should be taken to ensure that this temperature is not exceeded.