[A case of microsurgically removed cavernous angioma in the midbrain].