allmänna arbetstiden är nämligen från kl. 9 f. m . till kl. 3 e. m . ,alltså