日本の第九はお祭りのネタとして存在するわけで。