Right let's wrap it up there. The riders need a rest and so do I after a thrilling three days in the Pyrenees (not that I've done much in comparison).

The Brits are still in charge, as are Team Sky, and now it is up to their rivals to try and shake things up during the second week.

We are back on Tuesday with stage 10 from Escaldes-Engordany to Revel. 

It should be fascinating. A la prochaine.

Yellow jersey holder Chris Froome on ITV4: "I was happy with how we coped with the attacks, I would have liked more time as a buffer to my rivals but I'm happy to go into the first rest day in yellow. The guys have done everything, they have ridden from start to finish and I couldn't be in a better place right now. The others are right up there in contention."

Image source, ap

Yellow jersey holder Chris Froome on ITV4: "That was a tough old day out there, it was hard yesterday and tough today. Going from the extreme heat to a hailstorm at the finish and 10 degrees, we went from one extreme to the other, it made it quite hard out there." 

And Mark Cavendish stays in the sprinters' jersey. He will welcome tomorrow's rest day more than most, I would imagine. 

1. Mark Cavendish (Britain / Dimension Data) 204 

2. Peter Sagan (Slovakia / Tinkoff) 197 

3. Marcel Kittel (Germany / Etixx - Quick-Step) 182 

4. Bryan Coquard (France / Direct Energie) 112 

5. Greg Van Avermaet (Belgium / BMC Racing) 90 

6. Andre Greipel (Germany / Lotto) 89 

7. Michael Matthews (Australia / Orica) 77 

8. Alexander Kristoff (Norway / Katusha) 74 

9. Thomas De Gendt (Belgium / Lotto) 65 

10. Edward Theuns (Belgium / Trek) 64

France rider Thibaut Pinot takes over at the top of king of the mountains race. 

1. Thibaut Pinot (France / FDJ) 80 

2. Rafal Majka (Poland / Tinkoff) 77 

3. Tom Dumoulin (Netherlands / Giant) 50 

4. Rui Costa (Portugal / Lampre) 40 

5. Thomas De Gendt (Belgium / Lotto) 36 

6. Daniel Navarro (Spain / Cofidis) 36 

7. Diego Rosa (Italy / Astana) 27 

8. Winner Anacona (Colombia / Movistar) 26 

9. George Bennett (New Zealand / LottoNL) 23 

10. Chris Froome (Britain / Team Sky) 22

Chris Froome still in yellow, Adam Yates remains 16 seconds behind and Nairo Quintana is 23 seconds behind. So no change in times for those three. 

1. Chris Froome (Britain / Team Sky) 44:36:03" 

2. Adam Yates (Britain / Orica) +16" 

3. Daniel Martin (Ireland / Etixx - Quick-Step) +19" 

4. Nairo Quintana (Colombia / Movistar) +23" 

5. Joaquim Rodriguez (Spain / Katusha) +37" 

6. Romain Bardet (France / AG2R) +44" 

7. Bauke Mollema (Netherlands / Trek) 

8. Sergio Henao (Colombia / Team Sky) 

9. Louis Meintjes (South Africa / Lampre) +55" 

10. Alejandro Valverde (Spain / Movistar) +1:01"

On Alberto Contador's withdrawal, Team Sky's Geraint Thomas adds: "It's sad to see for him and his team, he was trying to get back to his best shape possible, but he'll come back stronger." 

Team Sky's Geraint Thomas on ITV4: "The rain is actually quite nice, it's like being back in Wales. It's been a tough week, it was hard to control the race, but we stayed as a unit and it came down to last climb where it was quite hard to produce big gaps. 

"We stayed clam and collected, and didn't panic under pressure which was really good. 

"Dan Martin and Adam Yates are good climbers, but it's only stage nine and a lot can happen in grand Tours and there are time trails as well."

Great pictures of stage nine winner Tom Dumoulin, who's almost singing in the rain.

He says: "It was a dream come true. I am so tired I cannot speak, it was an incredible day and it was so, so hard but I did it. 

"It's very, very special [to win on all three grand Tours], I'm of course a time-trial specialist but I showed that I can do more. I'm so happy, it's just incredible." 

Here are the stage nine results. Suggestions that Thibaut Pinot could pinch the polka dot jersey from Rafal Majka. 

1. Tom Dumoulin (Netherlands / Giant) 5:16:24" 

2. Rui Costa (Portugal / Lampre) +38" 

3. Rafal Majka (Poland / Tinkoff) +38" 

4. Daniel Navarro (Spain / Cofidis) +1:39" 

5. Winner Anacona (Colombia / Movistar) +1:57" 

6. Thibaut Pinot (France / FDJ) +2:30" 

7. George Bennett (New Zealand / LottoNL) +2:48" 

8. Diego Rosa (Italy / Astana) +2:52" 

9. Mathias Frank (Switzerland / IAM Cycling) +3:45"

Rob Hayles
Former GB cyclist on BBC 5 live sports extra

It might be a rest day tomorrow but with it being so hot at the start of the stage today and then becoming so cold and wet at the finish, we may see a few riders come down with illness over the next few days. 

Wow, what an end to the stage. It was like Salford earlier on today. Well done Tom Dumoulin and fair play Adam Yates and Chris Froome, that was a hell of an effort. 

A quick sprint by Adam Yates, who leads his GC rivals to the line. He will stay second in the GC, and in the white jersey, while Chris Froome will remain in yellow. 

Chris Froome, Nairo Quintana, Adam Yates and Richie Porte are neck and neck, and they look like they are going to finish on the same time. 

Chris Froome leads an attack on his rivals. Richie Porte responds, Nairo Quintana is still playing the shadow role behind Froome. The Briton cannot shake him off. 

Tom Dumoulin's chasers now cross the line including Rafal Majka, Thibaut Pinot, Rui Costa and Winner Anacona. 

Back behind the winner there is all sorts of carnage as fans still crowd the road.

Chris Froome is trailing Dan Martin and Richie Porte but only by a few seconds. 

Tom Dumoulin, the Dutch time-trail champion, is well ahead as the others battle behind him and he will take his first stage Tour de France win. 

Image source, BBC Sport

Tom Dumoulin has just passed the 1km to go marker, but it looks nothing like this scene. He has car lights on him, it's that dark.