Bruno Martini ist tot.