Input (grade 8): Despite its status as part of an occupied city, East Berlin was claimed as the capital of East Germany.
Output (grade 9): Although it was always legally a part of an occupied city, East Berlin was claimed as the capital of East Germany.