Thomas Jung wird neuer Rathauschef in Baden-Baden