Jimmy Lai released by June 30?