Die Stahlindustrie in der DDR.