tjenstledighet under tiden 14 maj — 13 au gusti ; domareembetet förvaltas under tiden af v. häradshöfd.