efter hvad man har skäl att antaga , omkring 15,000 invånare , Trondhjem hade vidi samma tid 5,000 och Stavanger 3 , 000.