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