La ciudad fue denominada "«Terra Banensium»" (la tierra de mineros) en 1156.