Image-Guided Mastoidectomy with a Cooperatively Controlled ENT Microsurgery Robot. (November 2019)