That was all of ThyssenKrupp