Ein Kanaldeckel hatte sich auf dem Kurs von Portimao gelöst.