( 5142 ) Gasverksstyrelsen.