No, it’s a commercial font.
Oh, it's one of those! OK, thank you, I never would have looked there.
Thought this was Times Sans Serif from this site, but although it's similar it's not a match.
Es Mistral, pero con ajustes.
Very stretched – 140% or so.
What is the name for this style?
Alle Zeitangaben sind CEST. Es ist jetzt 09:32