L'Allemagne va dépêcher un chasseur de mines pour une éventuelle mission dans le détroit d'Ormuz