The history of external ventricular drainage.