tills vidare hålles Gasverkets kontor öppet kl. 9 — 1 , under hvilken tid koks m.