Original: 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 ) .
Simplified: 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 ) .