Input (grade 7): The district-free city Weimar is completely enclosed by the district.
Output (grade 6): The district-free city of Weimar is completely enclosed by the district.