Is it safe to remove an infected cardiac implantable electronic device at the time of heart transplantation? Report of two cases. Issue 1 (14th October 2019)