Leadless pacemaker implantation after lead extraction for cardiac implanted electronic device infection. (31st January 2022)