Kamenouhelné dolování u Močidlce - Beran, Petr