World Cup – Group F – Germany vs Mexico