KraussMaffei Group appoint new Chief Executive Officer (CEO)