Instruct: What is the highest population within the municipality of Porsgrunn?
Output: SELECT MAX Population FROM table WHERE Municipality = porsgrunn