einwohnerzahl von stralsund