Sturm „Leslie“ erreichte Portugal