2
descname=Deeper Coal Mine # nicer name to display in GUI
4
type=production # basic type (warehouse, production, military)
9
worker=master-miner,chief-miner,miner
18
0=sleep 40000 # a bit faster
20
2=animation working 16000
21
3=mine coal 2 100 10 # mine coal in a radius of 2 up to 25% of total available, 3% chances to hit after this