Polyterpene und Polyterpenoide LXXI. Über den oxydativen Abbau der Dextro‐Pimarsäure