Which professional tennis player won more doubles titles, Henri Leconte or Claudia Kohde-Kilsch?