Bányászat: vegyes: Bányászati Kutatóintézet