Euro 2020: Eriksen discharged after successful operation for heart-starter implant