Signatur eines topologischen Phasenübergangs im Josephson-Superstrom durch einen topologischen Isolator