What is the language of ATM machines in Vatican City?

The city-state Vatican City, with a unique, noncommercial economy, is supported financially by worldwide contributions of Catholics, sale of tourist items and admission to museums. The yearly budget is around $500 million, and the currency is Euro.

As tourists need to withdraw money to buy their souvenirs, they have access to an ATM machine that, among others, offer a user interface in Latin… Who said that it was a dead language?