British summer time begins : the school summer holidays 1930-1980