Gamma knife surgery for hemangioblastomas.