In NUMBER@1 , the town of LOCATION@1 was officially given its double name which is the short form for `` Baden in Baden '' -LRB- i.e. PERSON@1 in the state of Baden -RRB- .

In NUMBER@1 , the town of LOCATION@1 was officially given its double name -LRB- a short form for `` Baden in Baden '' , i.e. PERSON@1 in the state of Baden -RRB- .
