In the rehearsal hall, people danced to the merry music, with red English subtitles.