Where does “Tivoli” come from?

Tivoli is an English toponym derived from Italian Tivoli, which comes from Latin Tibur, ultimately from Proto-Italic teiba.

Tivoli (English): A game resembling bagatelle, played on a special...