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
The only tragedy I see here is that the shooter killed himself. RIP