mining town — special status of certain cities from the 13th to the 19th centuries