Endspiel in Sevilla: Nach Verlängerung: Barcelona gewinnt Pokalfinale gegen Real