What happened to Mikkelsen?