Die casting: metals to be shaped