Hofmann–Martius_rearrangement loading ...