Gas distribution substation No. 72