Cardiovascular disease mortality in patients with genetically verified familial hypercholesterolemia in Norway during 1992–2013. (29th August 2020)