Yes, I heard of the Jagdtiger mounting the 128mm gun, but that wasn't mentioned at the above web site.
It specifically named it; the TigerII or King Tiger, etc.
The King Tiger packet the 43/L71 88mm gun and not the 128mm gun as it is stated there.. :-)