Principality of Hungary — predecessor of the Kingdom of Hungary