»Que Sevilla se había pronunciado también.