I like the part about the dealer making an attempt to prevent the hand from being mucked. I am having a tough time with a player raising (all-in), mucking (unintentionally?... hmm!). No one has responded to the fact that Koroknai was the SB and his all-in may have knocked out the BB? I think rule #45 Non-Standard Folds can be amended, but I'm not sure it should offer as much protection for a player that: a.) went all-in and was unaware that he was already facing a raise. b.) possibly forcing another player from contention, (the big blind). c.) suspiciously not disclosing the contents of his hand (for lipstick cam). and d.) not protecting his own hand.
The more I look, the more I don't like the call, even though, at the time I would have made the same ruling.
If I were faced with the exact situation today, after all of our discussion, I would have awarded the 60K to Baumann (which is what happened), removed the uncalled raise amount from the tournament, and Koroknai would have been eliminated.