hafva nu i allmänhet skaffat sig tjenstledighet och sommarferier.