Normal rate of cerebrospinal fluid formation five years after bilateral choroid plexectomy. Case report.