Hofmann eliminations