KraussMaffei merges corporate extrusion operations