What show coat did Michael Jung wear in the Stadium phase of R3DE?

Hey guys,

It has been driving me absolutely crazy trying to find out what type/brand of show coat Michael Jung was wearing in the Stadium Jumping phase of the Rolex. Random minor question I know, but I just can’t stop wondering what it was!

Here are some pictures:

Help! It’s driving me crazy! :frowning:

It’s an Animo. You can see the logo in the 2nd photo.