Gravar-mail: Routine Oxygen Therapy Does Not Improve Health-Related Quality of Life in Patients With Acute Myocardial Infarction—Insights From the Randomized DETO2X-AMI Trial