ärendet ; b ) angäende gasledningar inom hus.