Biografický lexikón Slovenska - Parenička, Pavol