Über die Einwirkung von Bleitetra‐acetat auf Iso‐dehydro‐cholesterin