Funchal - Avenida do Infante - Restaurante Jardins do Infante#

Funchal - Avenida do Infante - Restaurante Jardins do Infante, April 2012, © Ewald Judt, under CC BY 4.0