What was the capital of East Germany?