utgjorde ursprungligen 9,259 qv.-km.