Sorteo Lotería de Navidad 2023: la palanca del bombo se queda atascada y la tienen que arreglar en directo