Detail in het krantenartikel :
STERN of STEN machinepistool ?
Stern machinepistool is mij onbekend .
Sten machinepistool daarentegen is een WW II wapen meestal gebruik door commandotroepen en veelvuldig gedropt tijdens WW II ten behoeve van clandestiene verzetsgroepen . Zal ook wel aanwezig geweest zijn in de verborgen Gladio depots .
Stern kan ook een typefout van de auteur zijn .