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