von Ehrenheim tjenstledighet från och med den 1 Augusti till den 1 nästkommande september samt förordnat justitiestatsministern frih.