The Danish Electronic Health Record Observatory