den vanliga ferietiden för skolor och läroanstalter.