Amalfi är , som bekant , en gammalsjö