fammanräknade längden af Stockholms gasrörs ledningar.