Koch åtnjuter från och med den 20 innevarande månad till och med deri 19 augusti tjänstledighet från domareembetet , hvilket under tiden förvaltas af e. o. hofrättsnotarien Nils Helling.