• The Croatian town of Rovinj.