That was a pretty ingenious way of geting the tractor out. But seems rather time consuming. Us redneck's here in the good ol USA would just take our jacked up 4x4 trucks with a tow strap and jerked the tractor out the mudhole!
Been there, done that, in the north woods of Maine. But we had a rule, only go backwards, can't lift the front end that way. We also had chains on and would run a chain from one of the rings to a tree. Would work well but only about 3 feet.