It must also be noted that the Hi Power,
aka the
GP-35, was one of the first few handguns which had a
magazine disconnect feature, which is the proper term for what most people call a
magazine safety.
This means that the handgun has a mechanism which makes it incapable of firing a chambered round if a magazine is not properly inserted and seated in the magazine well.
Some shooters do not like the effect the mechanism has on the trigger pull, claiming it makes it gritty and heavy, both of which are indeed undesirable on a good trigger pull. The magazine disconnector also retards the movement of the magazine such that it will at times not allow it to drop free even after one presses the magazine release button. The magazine disconnect feature can be removed and many Hi Power owners do that as their first mod on the gun.
Nazi era productions of the Hi Power did not have the magazine disconnect safety.