Tippspiel WM: 4. Viertelfinale Holland - Costa Rica