: Vertragsarbeiter in der DDR