Dzieje polskiej kadry technicznej w górnictwie (1136 - 1176) - Jaros, Jerzy