Synthese von Ergonin und Ergoptin, zweier Mutterkornalkaloid‐Analoga der Ergoxin‐Gruppe 72. Mitteilung über Mutterkornalkaloide