Die-casting-tools