Jörg Benndorf: Closed Loop Management in Mineral Resource Extraction: Turning Online Geo-Data into Mining Intelligence: Springer, 2020, 104 pp