Jimmy Choo auctioned off to US fashion brand Michael Kors for £900m, Jimmy Choo