Cardiovascular disease mortality in patients with genetically verified familial hypercholesterolemia in Norway during 1992–2013. (January 2017)