Bugfix bei deep_symbolize_trans_keys