Where does “bántók” come from?

bántók (Hungarian) comes from Hungarian bántó, from Hungarian bánt, from Hungarian bánik, from Hungarian bán, from Old Hungarian ban.