Coal is becoming a strategic mineral resource. But Hutter mentions the beginnings of mining as far back as 1613.