Fix of HLTDeDxFilter
Merge pull request #6287 from Martin-Grunewald/DeDxFix72X

Fix of HLTDeDxFilter for 72X