erhällit tjenstledighet frän den 15 juli till den 1 nästk. oktober.