Arbeiter in der DDR nach Maueröffnung