Pinus cembra Synonyms