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