Divertimento — musical work by Richard Strauss