— invände bergsmannen i bestämd ton.