Text this: Defects in high‑pressure die casting and measures to prevent gas defects