Title: Proceedings of the Workshop on Historic Mining Resources