sommarferier vid högre elementarläroverket;