erhällit tjenstledighet frän den 7 juli till de » 1 oktober ,och