What Is Known So Far About The Nord Stream Gas Pipeline Leaks