( 10 ) Rättens ombudsman.