Thymectomy for myasthenia gravis