Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Qual cidade possui um estádio do Stadio Artemio Franchi, em Florença?
 ###Tabelas: CREATE TABLE teams (teams_id AUTO_INCREMENT PRIMARY KEY, Club VARCHAR, City VARCHAR, Stadium VARCHAR, Capacity INT, 2007–08 season VARCHAR) CREATE TABLE women_kayak (women_kayak_id AUTO_INCREMENT PRIMARY KEY, Distance VARCHAR, Event VARCHAR, Record VARCHAR, Nationality VARCHAR, Year INT, Location VARCHAR) CREATE TABLE 2000s:_incorporation (2000s:_incorporation_id AUTO_INCREMENT PRIMARY KEY, Season VARCHAR, Competition VARCHAR, Round VARCHAR, Opponent VARCHAR, Series VARCHAR) CREATE TABLE kfk_competition_of_ukraine (kfk_competition_of_ukraine_id AUTO_INCREMENT PRIMARY KEY, Season VARCHAR, Zone INT, Champion VARCHAR, Second VARCHAR, Third VARCHAR, Top scorer VARCHAR) CREATE TABLE penalty_summary (penalty_summary_id AUTO_INCREMENT PRIMARY KEY, Period VARCHAR, Team VARCHAR, Player VARCHAR, Penalty VARCHAR, Time VARCHAR)  
SELECT City FROM teams WHERE Stadium = stadio artemio franchi, florence