Welche Industriebetriebe wurden in Mali gleich nach der Unabhängigkeitserklärung eröffnet?