Input (grade 4): In 1931, the town of Baden-Baden was officially given its double name, which is the short form for "Baden in Baden" (i.e., Baden in the state of Baden).
Output (grade 4): In 1931, the town of Baden-Baden was officially given its double name (a short form for "Baden in Baden", i.e. Baden in the state of Baden).