Divertimento: Ein Musikalischer Spass (A Musical Joke)