FIFA World Cup 2022 – Group E Costa Rica vs Germany