war time world-war theatre of war peace time war-work winter time school-time warwork termtime summer-time