Übertragung des WM-Spiels um den 3. Platz, Deutschland : Portugal (3 : 0)