Trận chung kết Giải vô địch bóng đá thế giới 1954 – Theo ngôn ngữ khác