On the stage, the players, on the stage, played cheerfully, cheerful songs.