How many chose to emigrate to West Germany in the 1950s