Hello!

I can't see licensing info on the linked docs. Are you sure they are in the public domain? Legally if you can see a document it does not mean you have the right to reuse it, relicense it. If there is no licensing info available it means "All Rights Reserved" and it definitely means it shouldn't be used on OSM.

https://osmfoundation.org/wiki/Licence/Licence_and_Legal_FAQ#2._CONTRIBUTING_DATA_TO_OpenStreetMap

If you got a permission from the authors, please upload it to the wiki, we collect permissions here: https://wiki.openstreetmap.org/wiki/Hungary/Importálás/Engedélyek