Pinus heldreichii Christ var. heldreichii Pinus heldreichii Christ var. heldreichiiThis name is not assigned to any taxon.