Football. Netherlands Eredivisie 2023/24. 1st round. Half time