tober , än att tiden för väggrusningen måtte utsträckas till oktobermånads