Lomová ťažba na Slovensku do konca stredoveku - Hronček, Pavel