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?
All times are CEST. The time is now 08:12