6787 ) Rättens ombudsman.