You might also know this place by the following names:
Ágios Antónios, Agios Antonios, Άγιος Αντώνιος