"UEFA Euro 1972 final tournament" . . . . "20:00" . "third place play-off" . . "third place" . . . . "Semi-final" . "UEFA Euro 1972 final tournament" . "semi-final match" . . . . . . . "Third place" .