In the cheerful music outside, a man explained, a group of people working.