The attacker reportedly used a handgun to shoot both judges, before killing himself.

Archived version: https://web.archive.org/web/20250118170827/https://www.bbc.com/news/articles/cy4mvllgd1mo

SpinScore: https://spinscore.io/?url=https%3A%2F%2Fwww.bbc.com%2Fnews%2Farticles%2Fcy4mvllgd1mo