uuderdomares rätt till tjenstledighet.