Bandera jaitsita, amaitu da Donostiako festa handia