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