6777 ) Rättens ombudsman.