tjenstledighet för Lagmannen Frih.