En hoe staat het met het zelfbeschikkingsrecht van de westduitse arbeiders