Hallo Marco

Danke für den Tip - ich glaube, mich an den Namen "Santa Marina" erinnern zu können... ist halt schon lange her.
Passt natürlich hervorragend, weil wir eh vorhatten ins Lanterna zu gehen, und so das Restaurant quasi vor der Haustür liegt...

ciao
Bernd

(coutdown bis Freitag läuft...)