CREATE TABLE table_name_93 (city VARCHAR(255), winner VARCHAR(255))
What city was the event in when Patrik Antonius won?
    
SQL: SELECT city FROM table_name_93 WHERE winner = "patrik antonius"