Fredrikshall , med en befolkning af 6000 inv .,