Why city gas distribution stocks may be slightly better off in covid-19 times