nedläggning af gasrör under postverkets hufvudbyggnad