Total Synthesis of (−)‐Himeradine A. (25th September 2019)