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 é a maior população dentro do município de Porsgrunn?
 ###Tabelas: CREATE TABLE match_records (match_records_id AUTO_INCREMENT PRIMARY KEY, Bowling VARCHAR, Player VARCHAR, Opponent VARCHAR, Venue VARCHAR, Season VARCHAR) CREATE TABLE 1997_reissue_bonus_tracks (1997_reissue_bonus_tracks_id AUTO_INCREMENT PRIMARY KEY, Track INT, Recorded VARCHAR, Catalogue VARCHAR, Release date VARCHAR, Song title VARCHAR, Time VARCHAR) CREATE TABLE city_status_since_after_1996 (city_status_since_after_1996_id AUTO_INCREMENT PRIMARY KEY, City VARCHAR, Municipality VARCHAR, County VARCHAR, Town status VARCHAR, Population INT) CREATE TABLE nine_pieces (nine_pieces_id AUTO_INCREMENT PRIMARY KEY, Standard order INT, English translation VARCHAR, Transcription (based on Pinyin) VARCHAR, Traditional Chinese VARCHAR, Simplified Chinese VARCHAR) CREATE TABLE player_roster (player_roster_id AUTO_INCREMENT PRIMARY KEY, Surname VARCHAR, First VARCHAR, D.O.B. VARCHAR, Bats VARCHAR, Throws VARCHAR, Position VARCHAR)  
SELECT MAX Population FROM city_status_since_after_1996 WHERE Municipality = porsgrunn