The death of Theodorus Antonides: