Historic maps and mining archaeology : An introduction into the representations of the mining industry on the earliest maps, especially those of today’s Saxony/Germany