Aspects of mining and smelting in the upper Harz Mountains (up to the 13th/14th century) in the early times of a developing European culture and economy