6729 ) Rättens ombudsman.