Portativa Gasverk — ett medel att spridagaslysning