6740 ) Rättens ombudsman.