The Production of Cerebrospinal Fluid in Man and Its Modification by Acetazolamide