I hadn’t seen this video until just recently.
Absolutely freakish for 82.5kg. Even after redrawing the weight classes, no one in the 85kg division has ever posted a 400kg total. In 1980 he totaled 400kg at the Olympics, which won him the gold medal at 82.5. This total would also have won him the gold medal at 90kg AND at 100kg, AND would have gotten him bronze at 110kg. I frankly can barely wrap my head around that degree of excellence.