History of mastoidectomy