Football. Netherlands Eerste Divisie 2019/20. Half time