Det enda ledsamma i saken var det,