Wie viele Menschen sind in Industriebetrieben in Thüringen eingestellt?