End of autumn term and start of the autumn holidays for staff and pupilsDate: Friday, October 6, 2017 - 15:15