högtidliga miner , började att anlända.