Spanische Weihnachtslotterie: Gewinner von "El Gordo" ausgelost