Britischer Urlauber nach Sturz in See in Portugal vermisst