Restrictive versus liberal oxygenation targets in patients with acute heart failure and pulmonary congestion–A protocol for a Randomized Controlled Trial (The REDOX-AHF trial) | Synapse