Významní technici Poldiny hutě Kladno (v 1. polovině 20. století) - Petrik, Josef