On the indoor stage a group of people played brisk music, one of whom played the violin.