Huru många invånare finnes i Sveaborg?