vivaldi’s ‘Summer’