Text this: Implantation of a leadless pacemaker in a patient after Senning procedure – a case report