nedläggandet af gasledningsrören till Södermalm.