Transmissão em tempo real da classificação do GP da Holanda, 13ª etapa da temporada 2023 da Fórmula 1