'74 and '54, no?
Nevermind. I just realized that the Germans were playing against the Hungarians in the ‘54 Final.
Holland played against Argentina in ‘78, and lost to the Argies.