Ivan Dorovský - lexikograf - Krejčí, Pavel