Injection of gaseous hydrogen into a natural gas pipeline. (19th July 2022)