Which city served as the capital of West Germany?