thyssenkrupp sells Mining business to FLSmidth and presses on with transformation of the group