what is the population of kragerø?
10505.0