åtnjuter- tjenstledighet unter juli , augusti och september ; domareämbetet förwaltas under tide »fortfarande