Changes in aortic valve replacement procedures in Denmark from 2008 to 2020