Über die Struktur von Plumericin, Isoplumericin, β‐Dihydroplumericin und der β‐Dihydroplumericinsäure