Bavarian Radio Symphony Orchestra – Op. 71, Divertissement