Man, I saw that, with no volume,(didn't want to wake light sleepers). What went on with the umpire and the fat guy that came down to talk to everybody? Whatever, Grossjean got screwed ! I didn't see any penalty at all and then the other guy goes on to win. But, a great match. Always a shame to see anyone lose in five, especially with no tie-break.
In an aside, does anyone ever think of why women aren't made to play best of 5 set matches, at least from the semi-finals on. This seems patently unfair and discriminatory to the guys who make exactly the same in the majors for much more tennis.