Residence time of milk products in holding tubes of high-temperature short-time pasteurizers.