Title: Safety in pressure die casting