When was the West Germany revolution