Gravar-mail: Cardiac implantable electronic device infection: Does the device need to be extracted?