Ondrej Mihályi, výpis všech osob toho jména ve veřejných rejstřících