the summer is ended