Vintage Radio in the Movies

In this post I described how I had done up an old (60s) Philips radio.

I was on a plane to Sydney the other day, watching the Eddie the Eagle movie and noticed same/similar model in the bar at the ski-jump school in Germany.

Radio in Eddie the Eagle

Looks like the same radio. I suppose they might have had a 20 year old radio in a ski bar?