Risk of stroke in genetically verified familial hypercholesterolemia: A prospective matched cohort study. (October 2022)