text: 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 ) .