The BK 7,5 was indeed a version of the PaK 40 anti-tank gun, and did have a much better performance than the Mitchell's M4, but not by as much as that: the shell was fired at 790 m/s (around 2,600 fps) intead of 600. The 3,300 fps figure probably refers to the tungsten-cored ammo, but I have no evidence that was ever used in the aircraft gun. Incidentally, I have one of the PaK 40's massive cartridges standing by my desk alongside the much smaller US one - an interesting contrast!
Tony Williams: Military gun and ammunition
website and discussion
forum