1ste helft Duitsland - Argentinië