( 9 7 ) Rättens ombudsman.