La marine allemande a porté secours à 615 migrants en détresse au large de la Libye