Question: What is the highest population within the municipality of Porsgrunn?
SQL: SELECT MAX(population) FROM table_name_28 WHERE municipality = "porsgrunn"