rättens ombudsman P . E. Holmgren.