tjenstledighet under Oktober mänad.