A group of people gathered in the hall, singing and dancing happily.