Neuer Chipleader?

Am Board ist schon einiges im Pot, Josef Tod spielt 300k und Robin Wasserbauer geht für 795k all-in. Josef callt mit , Robin zeigt für die fertige Straight. River und Robin verdoppelt. Er dürfte damit Chipleader vor Shi Hong Chen sein