German destroyer Zerstorer 3 (D172)