Transmissão em tempo real da classificação do GP da Austria, nona etapa da temporada 2023 da Fórmula 1