The first cast-iron bombshells and grenades appeared in Europe in 1467. A hoard of several hundred ceramic hand grenades was discovered during construction in front of a bastion of the Bavarian city of Ingolstadt, Germany dated to the 17th century. Many of the grenades retained their original black powder loads and igniters. Most probably the grenades were intentionally dumped in the moat of the bastion prior to 1723. In 1643, it is possible that "Grenados" were thrown amongst the Welsh at Holt Bridge during the English Civil War. The word "grenade" was also used during the events surrounding the Glorious Revolution in 1688, where cricket ball-sized ( in circumference) iron spheres packed with gunpowder and fitted with slow-burning wicks were first used against the Jacobites in the battles of Killiecrankie and Glen Shiel. These grenades were not very effective (probably because a direct hit would be necessary for the grenade to have effect) and, as a result, saw little use. Grenades were also used during the Golden Age of Piracy: pirate Captain Thompson used "vast numbers of powder flasks, grenade shells, and stinkpots" to defeat two pirate-hunters sent by the Governor of Jamaica in 1721.