Πέθανε ο δικαστής και πρώην Εισαγγελέας του Αρείου Πάγου, Δημήτρης Λινός