The provision of land and buildings for occupation and use for educational purposes by the Grammar School at Leeds