WK Duitsland. Duitsland-Engeland