den grufva , från hvilken kolen äro tagna .)