German double agent might have shared US intelligence with Russians: Report