därstädes sysselsätter dessutom dagligen 1,200 man med stenhuggning.