6739 ) Rättens ombudsman.