( 9 63 ) rättens ombudsman.