Email Post: 4π-periodic Josephson supercurrent in HgTe-based topological Josephson junctions