Round 5 has started a little bit early. In between the rounds we have tried to fix the issues with the live transmission of board 5, but it seems not solvable for the moment.
The difference between the leaders has not changed because of the draw. Shredder catched up, but now plays against Deep Fritz for second place.