Text this: Mikroelektronik in der DDR