Reports are that it was a pneumatic pistol popular in Europe and other areas where firearm ownership is tightly controlled. Similar to the BB and pellet guns we are used to but even more powerful. A shot to the head would have certainly been deadly.
When I lived in Germany I owned one that fired a .50 cal projectile.
Hardly a toy.