Porto Cervo ist vermutlich dauerhaft geschlossen.