German destroyer Zerstörer 3 (D172)