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