I was there on Friday, even in the UniCredit bank. Both bank offices have an ATM and the tag "atm" is for both offices set to "yes":
https://www.openstreetmap.org/node/4980907524
and
https://www.openstreetmap.org/node/4991181112
thus adding an extra ATM would be doubled. The "rule" is to set the atm tag for the bank office to yes and then not having an extra node for the ATM. ATM as extra node only when there is no bank office that holds the ATM.