Input (grade 13): Despite its status as part of an occupied city, East Berlin was claimed as the capital of East Germany, as the Soviets did not honor the distinction of a free city for their sector.
Output (grade 9): Although it was always legally a part of an occupied city, East Berlin was claimed as the capital of East Germany.