CREATE TABLE table_name_67 (city VARCHAR(255), short_name VARCHAR(255))
What city has the nickname of pontisola?
    
SQL: SELECT city FROM table_name_67 WHERE short_name = "pontisola"